Weird target misfeatures

• no union of value + reference types
• simple try/catch model for exceptions
• managed code cannot inspect control stack
• no support for block structure
• JVM: no support for tail calls