X-Git-Url: http://nitlanguage.org

diff --git a/c_src/kernel._sep.h b/c_src/kernel._sep.h
index 5041e7b..5885b39 100644
--- a/c_src/kernel._sep.h
+++ b/c_src/kernel._sep.h
@@ -1,6 +1,6 @@
 /* This C header file is generated by NIT to compile modules and programs that requires kernel. */
-#ifndef kernel_2_sep
-#define kernel_2_sep
+#ifndef kernel_sep
+#define kernel_sep
 #include <nit_common.h>
 
 extern const classtable_elt_t VFT_Object[];
@@ -26,7 +26,7 @@ extern const classtable_elt_t VFT_Pointer[];
 struct TBOX_Pointer { const classtable_elt_t * vft; void * val;};
 val_t BOX_Pointer(void * val);
 #define UNBOX_Pointer(x) (((struct TBOX_Pointer *)(VAL2OBJ(x)))->val)
-#define LOCATE_kernel "./../lib/standard//kernel.nit"
+extern const char *LOCATE_kernel;
 extern const int SFT_kernel[];
 #define ID_Object SFT_kernel[0]
 #define COLOR_Object SFT_kernel[1]
@@ -42,64 +42,65 @@ extern const int SFT_kernel[];
 #define COLOR_Sys SFT_kernel[11]
 #define INIT_TABLE_POS_Sys SFT_kernel[12]
 #define COLOR_kernel___Sys___main SFT_kernel[13]
-#define ID_Comparable SFT_kernel[14]
-#define COLOR_Comparable SFT_kernel[15]
-#define INIT_TABLE_POS_Comparable SFT_kernel[16]
-#define COLOR_kernel___Comparable_____l SFT_kernel[17]
-#define COLOR_kernel___Comparable_____leq SFT_kernel[18]
-#define COLOR_kernel___Comparable_____geq SFT_kernel[19]
-#define COLOR_kernel___Comparable_____g SFT_kernel[20]
-#define COLOR_kernel___Comparable_____leqg SFT_kernel[21]
-#define COLOR_kernel___Comparable___is_between SFT_kernel[22]
-#define COLOR_kernel___Comparable___max SFT_kernel[23]
-#define COLOR_kernel___Comparable___min SFT_kernel[24]
-#define ID_Discrete SFT_kernel[25]
-#define COLOR_Discrete SFT_kernel[26]
-#define INIT_TABLE_POS_Discrete SFT_kernel[27]
-#define COLOR_kernel___Discrete___succ SFT_kernel[28]
-#define COLOR_kernel___Discrete___prec SFT_kernel[29]
-#define COLOR_kernel___Discrete_____plus SFT_kernel[30]
-#define COLOR_kernel___Discrete_____minus SFT_kernel[31]
-#define COLOR_kernel___Discrete___distance SFT_kernel[32]
-#define ID_Bool SFT_kernel[33]
-#define COLOR_Bool SFT_kernel[34]
-#define INIT_TABLE_POS_Bool SFT_kernel[35]
-#define ID_Float SFT_kernel[36]
-#define COLOR_Float SFT_kernel[37]
-#define INIT_TABLE_POS_Float SFT_kernel[38]
-#define COLOR_kernel___Float_____leq SFT_kernel[39]
-#define COLOR_kernel___Float_____l SFT_kernel[40]
-#define COLOR_kernel___Float_____geq SFT_kernel[41]
-#define COLOR_kernel___Float_____g SFT_kernel[42]
-#define COLOR_kernel___Float_____plus SFT_kernel[43]
-#define COLOR_kernel___Float___unary__minus SFT_kernel[44]
-#define COLOR_kernel___Float_____minus SFT_kernel[45]
-#define COLOR_kernel___Float_____star SFT_kernel[46]
-#define COLOR_kernel___Float_____slash SFT_kernel[47]
-#define COLOR_kernel___Float___to_i SFT_kernel[48]
-#define ID_Int SFT_kernel[49]
-#define COLOR_Int SFT_kernel[50]
-#define INIT_TABLE_POS_Int SFT_kernel[51]
-#define COLOR_kernel___Int___unary__minus SFT_kernel[52]
-#define COLOR_kernel___Int_____star SFT_kernel[53]
-#define COLOR_kernel___Int_____slash SFT_kernel[54]
-#define COLOR_kernel___Int_____percent SFT_kernel[55]
-#define COLOR_kernel___Int___lshift SFT_kernel[56]
-#define COLOR_kernel___Int___rshift SFT_kernel[57]
-#define COLOR_kernel___Int___to_f SFT_kernel[58]
-#define COLOR_kernel___Int___ascii SFT_kernel[59]
-#define COLOR_kernel___Int___digit_count SFT_kernel[60]
-#define COLOR_kernel___Int___to_c SFT_kernel[61]
-#define ID_Char SFT_kernel[62]
-#define COLOR_Char SFT_kernel[63]
-#define INIT_TABLE_POS_Char SFT_kernel[64]
-#define COLOR_kernel___Char___to_i SFT_kernel[65]
-#define COLOR_kernel___Char___ascii SFT_kernel[66]
-#define COLOR_kernel___Char___to_lower SFT_kernel[67]
-#define COLOR_kernel___Char___to_upper SFT_kernel[68]
-#define ID_Pointer SFT_kernel[69]
-#define COLOR_Pointer SFT_kernel[70]
-#define INIT_TABLE_POS_Pointer SFT_kernel[71]
+#define COLOR_kernel___Sys___init SFT_kernel[14]
+#define ID_Comparable SFT_kernel[15]
+#define COLOR_Comparable SFT_kernel[16]
+#define INIT_TABLE_POS_Comparable SFT_kernel[17]
+#define COLOR_kernel___Comparable_____l SFT_kernel[18]
+#define COLOR_kernel___Comparable_____leq SFT_kernel[19]
+#define COLOR_kernel___Comparable_____geq SFT_kernel[20]
+#define COLOR_kernel___Comparable_____g SFT_kernel[21]
+#define COLOR_kernel___Comparable_____leqg SFT_kernel[22]
+#define COLOR_kernel___Comparable___is_between SFT_kernel[23]
+#define COLOR_kernel___Comparable___max SFT_kernel[24]
+#define COLOR_kernel___Comparable___min SFT_kernel[25]
+#define ID_Discrete SFT_kernel[26]
+#define COLOR_Discrete SFT_kernel[27]
+#define INIT_TABLE_POS_Discrete SFT_kernel[28]
+#define COLOR_kernel___Discrete___succ SFT_kernel[29]
+#define COLOR_kernel___Discrete___prec SFT_kernel[30]
+#define COLOR_kernel___Discrete_____plus SFT_kernel[31]
+#define COLOR_kernel___Discrete_____minus SFT_kernel[32]
+#define COLOR_kernel___Discrete___distance SFT_kernel[33]
+#define ID_Bool SFT_kernel[34]
+#define COLOR_Bool SFT_kernel[35]
+#define INIT_TABLE_POS_Bool SFT_kernel[36]
+#define ID_Float SFT_kernel[37]
+#define COLOR_Float SFT_kernel[38]
+#define INIT_TABLE_POS_Float SFT_kernel[39]
+#define COLOR_kernel___Float_____leq SFT_kernel[40]
+#define COLOR_kernel___Float_____l SFT_kernel[41]
+#define COLOR_kernel___Float_____geq SFT_kernel[42]
+#define COLOR_kernel___Float_____g SFT_kernel[43]
+#define COLOR_kernel___Float_____plus SFT_kernel[44]
+#define COLOR_kernel___Float___unary__minus SFT_kernel[45]
+#define COLOR_kernel___Float_____minus SFT_kernel[46]
+#define COLOR_kernel___Float_____star SFT_kernel[47]
+#define COLOR_kernel___Float_____slash SFT_kernel[48]
+#define COLOR_kernel___Float___to_i SFT_kernel[49]
+#define ID_Int SFT_kernel[50]
+#define COLOR_Int SFT_kernel[51]
+#define INIT_TABLE_POS_Int SFT_kernel[52]
+#define COLOR_kernel___Int___unary__minus SFT_kernel[53]
+#define COLOR_kernel___Int_____star SFT_kernel[54]
+#define COLOR_kernel___Int_____slash SFT_kernel[55]
+#define COLOR_kernel___Int_____percent SFT_kernel[56]
+#define COLOR_kernel___Int___lshift SFT_kernel[57]
+#define COLOR_kernel___Int___rshift SFT_kernel[58]
+#define COLOR_kernel___Int___to_f SFT_kernel[59]
+#define COLOR_kernel___Int___ascii SFT_kernel[60]
+#define COLOR_kernel___Int___digit_count SFT_kernel[61]
+#define COLOR_kernel___Int___to_c SFT_kernel[62]
+#define ID_Char SFT_kernel[63]
+#define COLOR_Char SFT_kernel[64]
+#define INIT_TABLE_POS_Char SFT_kernel[65]
+#define COLOR_kernel___Char___to_i SFT_kernel[66]
+#define COLOR_kernel___Char___ascii SFT_kernel[67]
+#define COLOR_kernel___Char___to_lower SFT_kernel[68]
+#define COLOR_kernel___Char___to_upper SFT_kernel[69]
+#define ID_Pointer SFT_kernel[70]
+#define COLOR_Pointer SFT_kernel[71]
+#define INIT_TABLE_POS_Pointer SFT_kernel[72]
 typedef val_t (* kernel___Object___object_id_t)(val_t  self);
 val_t kernel___Object___object_id(val_t  self);
 #define LOCATE_kernel___Object___object_id "kernel::Object::object_id"
@@ -124,6 +125,10 @@ val_t kernel___Object___sys(val_t  self);
 typedef void (* kernel___Sys___main_t)(val_t  self);
 void kernel___Sys___main(val_t  self);
 #define LOCATE_kernel___Sys___main "kernel::Sys::main"
+typedef void (* kernel___Sys___init_t)(val_t  self, int* init_table);
+void kernel___Sys___init(val_t  self, int* init_table);
+val_t NEW_kernel___Sys___init();
+#define LOCATE_kernel___Sys___init "kernel::Sys::init"
 typedef val_t (* kernel___Comparable_____l_t)(val_t  self, val_t  param0);
 val_t kernel___Comparable_____l(val_t  self, val_t  param0);
 #define LOCATE_kernel___Comparable_____l "kernel::Comparable::<"