extern const struct type type_kernel__Int;
val* string__NativeString__to_s_with_length(char* self, long p0);
void file__Object__print(val* self, val* p0);
extern const struct type type_kernel__Int;
val* string__NativeString__to_s_with_length(char* self, long p0);
void file__Object__print(val* self, val* p0);