./frogc --enable_type_checks test.dart