void opts__Option__mandatory_61d(val* self, short int p0);
extern const int COLOR_opts__Option___read;
short int opts__Option__read(val* self);
-extern const int COLOR_opts__Option_VTVALUE;
+extern const int COLOR_nullable_opts__Option_VTVALUE;
extern const int COLOR_opts__Option___value;
void opts__Option__value_61d(val* self, val* p0);
+extern const int COLOR_opts__Option_VTVALUE;
val* opts__Option__value(val* self);
extern const int COLOR_opts__Option___default_value;
val* opts__Option__default_value(val* self);
val* NEW_array__Array(const struct type* type);
extern const struct type type_array__Arraystring__String;
extern const int COLOR_array__Array__init;
-void CHECK_NEW_array__Array(val*);
extern const int COLOR_array__Collection__to_a;
void opts__Option__init_opt(val* self, val* p0, val* p1, val* p2);
extern const int COLOR_abstract_collection__SimpleCollection__add_all;
extern const struct type type_string__Buffer;
val* string__NativeString__to_s_with_length(char* self, long p0);
extern const int COLOR_string__Buffer__from;
-void CHECK_NEW_string__Buffer(val*);
extern const int COLOR_string__Collection__join;
extern const int COLOR_abstract_collection__Sequence__append;
extern const int COLOR_abstract_collection__Collection__length;
void opts__OptionText__init(val* self, val* p0);
val* opts__OptionText__pretty(val* self, long p0);
val* opts__OptionText__to_s(val* self);
+val* BOX_kernel__Bool(short int);
void opts__OptionBool__init(val* self, val* p0, val* p1);
extern const int COLOR_opts__OptionBool__read_param;
extern const int COLOR_opts__Option__value_61d;
void opts__OptionBool__read_param(val* self, val* p0);
+val* BOX_kernel__Int(long);
void opts__OptionCount__init(val* self, val* p0, val* p1);
extern const int COLOR_opts__OptionCount__read_param;
extern const int COLOR_opts__Option__value;
extern const int COLOR_opts__OptionParameter__read_param;
extern const int COLOR_abstract_collection__Iterator__is_ok;
extern const int COLOR_abstract_collection__Iterator__item;
+extern const int COLOR_string__AbstractString__chars;
extern const int COLOR_abstract_collection__Collection__first;
extern const struct class class_kernel__Char;
extern const int COLOR_opts__OptionParameter__convert;
extern const int COLOR_opts__OptionContext__build;
extern const int COLOR_kernel__Object___61d_61d;
extern const int COLOR_array__Iterator__to_a;
+val* BOX_kernel__Char(char);
extern const int COLOR_array__AbstractArrayRead__last_index_of;
val* NEW_range__Range(const struct type* type);
extern const struct type type_range__Rangekernel__Int;
extern const int COLOR_range__Range__init;
-void CHECK_NEW_range__Range(val*);
val* string__Char__to_s(char self);
extern const int COLOR_opts__OptionContext___optmap;
extern const int COLOR_abstract_collection__MapRead__has_key;
val* NEW_hash_collection__HashMap(const struct type* type);
extern const struct type type_hash_collection__HashMapstring__Stringopts__Option;
extern const int COLOR_hash_collection__HashMap__init;
-void CHECK_NEW_hash_collection__HashMap(val*);
void opts__OptionContext__init(val* self);
extern const int COLOR_abstract_collection__Map___91d_93d_61d;
void opts__OptionContext__build(val* self);