public static void setTypeChecking(boolean type_check) { compileProperties.type_check = type_check; }