CompileStatic and TypeChecked work for simple examples