c_src/nitg.main.1.c

   1 #include "nitg.main.0.h"
   2 int glob_argc;
   3 char **glob_argv;
   4 val *glob_sys;
   5 int main(int argc, char** argv) {
   6 val* var /* : Sys */;
   7 glob_argc = argc; glob_argv = argv;
   8 initialize_gc_option();
   9 var = NEW_kernel__Sys(&type_kernel__Sys);
  10 glob_sys = var;
  11 ((void (*)(val*))(var->class->vft[COLOR_kernel__Sys__init]))(var) /* init on <var:Sys>*/;
  12 ((void (*)(val*))(var->class->vft[COLOR_kernel__Sys__main]))(var) /* main on <var:Sys>*/;
  13 return 0;
  14 }