val* NEW_array__NativeArray(int length, const struct type* type);
extern const struct type type_array__NativeArraykernel__Object;
extern const int COLOR_array__Array__with_native;
-void CHECK_NEW_array__Array(val*);
extern const int COLOR_string__Object__to_s;
extern const int COLOR_abstract_collection__Iterator__next;
extern const int COLOR_parser_nodes__ANode__location;
val* NEW_phase__AnnotationPhaseVisitor(const struct type* type);
extern const struct type type_phase__AnnotationPhaseVisitor;
extern const int COLOR_phase__AnnotationPhaseVisitor__init;
-void CHECK_NEW_phase__AnnotationPhaseVisitor(val*);
extern const int COLOR_parser_nodes__Visitor__enter_visit;
+val* BOX_kernel__Int(long);
void phase__ToolContext__run_phases(val* self, val* p0);
extern const int COLOR_phase__AnnotationPhaseVisitor___64dphase;
val* phase__AnnotationPhaseVisitor__phase(val* self);