--- /dev/null
+#include "nit.common.h"
+long math___Int_band___impl( long self, long i );
+long math___Int_bor___impl( long self, long i );
+unsigned char math___Byte_band___impl( unsigned char self, unsigned char i );
+int math___Float_is_nan___impl( double self );
+int math___Float_native_is_inf___impl( double self );
+extern const struct type type_core__Float;
+extern const char FILE_core__kernel[];
+#define COLOR_core__math___Sys___core__kernel__Object__init 55
+void math___Sys_srand___impl( struct nitni_instance * self );
+void math___Sys_srand_from___impl( struct nitni_instance * self, long x );