#include "nit.common.h"
+extern const int COLOR_kernel__Object__is_same_instance;
short int kernel__Object___61d_61d(val* self, val* p0);
extern const int COLOR_kernel__Object___61d_61d;
short int kernel__Object___33d_61d(val* self, val* p0);
long kernel__Discrete__distance(val* self, val* p0);
extern const struct class class_kernel__Bool;
long kernel__Bool__hash(short int self);
+extern const struct type type_kernel__Float;
long kernel__Int__hash(long self);
extern const struct class class_kernel__Int;
extern const struct type type_kernel__Int;
+val* BOX_kernel__Int(long);
long kernel__Int__distance(long self, long p0);
long kernel__Int___60d_61d_62d(long self, long p0);
short int kernel__Int__is_between(long self, long p0, long p1);
long kernel__Int__digit_count_base_95d10(long self);
long kernel__Int__digit_count(long self, long p0);
char kernel__Int__to_c(long self);
-void kernel__Int__enumerate_to(long self, long p0);
-void kernel__Int__enumerate_before(long self, long p0);
long kernel__Int__abs(long self);
long kernel__Char__hash(char self);
extern const struct class class_kernel__Char;
extern const struct type type_kernel__Char;
+val* BOX_kernel__Char(char);
long kernel__Char__distance(char self, char p0);
short int kernel__Char__is_digit(char self);
char kernel__Char__to_lower(char self);
short int kernel__Char__is_lower(char self);
char kernel__Char__to_upper(char self);
short int kernel__Char__is_letter(char self);
+int kernel___Pointer_address_is_null___impl( void* recv );
short int kernel__Pointer__address_is_null(void* self);