Using the Java/C/C++ type system in a statechart | Hacker News Reader