extern const char FILE_nit__separate_erasure_compiler[];
extern const struct type type_standard__Int;
extern const char FILE_standard__kernel[];
val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
extern const char FILE_nit__separate_erasure_compiler[];
extern const struct type type_standard__Int;
extern const char FILE_standard__kernel[];
val* standard___standard__NativeString___to_s_with_length(char* self, long p0);