-short int string__StringCharView__has(val* self, char p0);
-long string__String__index_from(val* self);
-extern const int COLOR_string__String___index_to;
-long string__String__index_to(val* self);
-extern const int COLOR_string__String___64dchars;
-val* string__String__chars(val* self);
-void string__String__chars_61d(val* self, val* p0);
-char string__String___91d_93d(val* self, long p0);
-val* NEW_string__String(const struct type* type);
-extern const struct type type_string__String;
-extern const int COLOR_string__String__with_infos;
-val* string__String__substring(val* self, long p0, long p1);
-extern const int COLOR_array__AbstractArrayRead___length;
-val* string__String__substring_from(val* self, long p0);
-extern const int COLOR_string__String__index_from;
-short int string__String__has_substring(val* self, val* p0, long p1);
-extern const int COLOR_string__StringCapable__calloc_string;
-val* string__String__to_upper(val* self);
-val* string__String__to_lower(val* self);
-val* string__String__trim(val* self);
-void string__String__output(val* self);
-extern const int COLOR_string__AbstractString__init;
-void string__String__with_infos(val* self, char* p0, long p1, long p2, long p3);
-extern const int COLOR_string__AbstractString__items;
-long string__NativeString__cstring_length(char* self);
-char* string__String__to_cstring(val* self);
-extern const int COLOR_kernel__Object__object_id;
-short int string__String___61d_61d(val* self, val* p0);
-extern const int COLOR_kernel__Comparable_VTOTHER;
-short int string__String___60d(val* self, val* p0);
-val* string__String___43d(val* self, val* p0);
-val* NEW_range__Range(const struct type* type);
-extern const struct type type_range__Rangekernel__Int;
-val* BOX_kernel__Int(long);
-extern const int COLOR_range__Range__init;
-val* string__String___42d(val* self, long p0);