+static const char * const LOCATE_string___AbstractString___items = "string::AbstractString::items";
+val_t string___AbstractString___items(val_t p0);
+typedef val_t (*string___AbstractString___items_t)(val_t p0);
+static const char * const LOCATE_string___AbstractString_____bra = "string::AbstractString::(abstract_collection::MapRead::[])";
+val_t string___AbstractString_____bra(val_t p0, val_t p1);
+typedef val_t (*string___AbstractString_____bra_t)(val_t p0, val_t p1);
+static const char * const LOCATE_string___AbstractString___substring = "string::AbstractString::substring";
+val_t string___AbstractString___substring(val_t p0, val_t p1, val_t p2);
+typedef val_t (*string___AbstractString___substring_t)(val_t p0, val_t p1, val_t p2);
+static const char * const LOCATE_string___AbstractString___substring_from = "string::AbstractString::substring_from";
+val_t string___AbstractString___substring_from(val_t p0, val_t p1);
+typedef val_t (*string___AbstractString___substring_from_t)(val_t p0, val_t p1);
+static const char * const LOCATE_string___AbstractString___has_substring = "string::AbstractString::has_substring";
+val_t string___AbstractString___has_substring(val_t p0, val_t p1, val_t p2);
+typedef val_t (*string___AbstractString___has_substring_t)(val_t p0, val_t p1, val_t p2);
+static const char * const LOCATE_string___AbstractString___has_prefix = "string::AbstractString::has_prefix";
+val_t string___AbstractString___has_prefix(val_t p0, val_t p1);
+typedef val_t (*string___AbstractString___has_prefix_t)(val_t p0, val_t p1);
+static const char * const LOCATE_string___AbstractString___has_suffix = "string::AbstractString::has_suffix";
+val_t string___AbstractString___has_suffix(val_t p0, val_t p1);
+typedef val_t (*string___AbstractString___has_suffix_t)(val_t p0, val_t p1);
+static const char * const LOCATE_string___AbstractString___to_i = "string::AbstractString::to_i";
+val_t string___AbstractString___to_i(val_t p0);
+typedef val_t (*string___AbstractString___to_i_t)(val_t p0);
+static const char * const LOCATE_string___AbstractString___to_hex = "string::AbstractString::to_hex";
+val_t string___AbstractString___to_hex(val_t p0);
+typedef val_t (*string___AbstractString___to_hex_t)(val_t p0);
+static const char * const LOCATE_string___AbstractString___a_to = "string::AbstractString::a_to";
+val_t string___AbstractString___a_to(val_t p0, val_t p1);
+typedef val_t (*string___AbstractString___a_to_t)(val_t p0, val_t p1);
+ typedef void (*CLOS_OC_string___AbstractString___a_to_1_0)(struct stack_frame_t *);
+ void OC_string___AbstractString___a_to_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+ typedef void (*OC_string___AbstractString___a_to_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_string___AbstractString___to_upper = "string::AbstractString::to_upper";
+val_t string___AbstractString___to_upper(val_t p0);
+typedef val_t (*string___AbstractString___to_upper_t)(val_t p0);
+ typedef void (*CLOS_OC_string___AbstractString___to_upper_1_0)(struct stack_frame_t *);
+ void OC_string___AbstractString___to_upper_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+ typedef void (*OC_string___AbstractString___to_upper_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_string___AbstractString___to_lower = "string::AbstractString::to_lower";
+val_t string___AbstractString___to_lower(val_t p0);
+typedef val_t (*string___AbstractString___to_lower_t)(val_t p0);
+ typedef void (*CLOS_OC_string___AbstractString___to_lower_1_0)(struct stack_frame_t *);
+ void OC_string___AbstractString___to_lower_1(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+ typedef void (*OC_string___AbstractString___to_lower_1_t)(struct stack_frame_t *closctx, val_t p0, struct stack_frame_t *closctx_param, fun_t clos_fun0);
+static const char * const LOCATE_string___AbstractString___output = "string::AbstractString::(kernel::Object::output)";
+void string___AbstractString___output(val_t p0);
+typedef void (*string___AbstractString___output_t)(val_t p0);