1 #include "nitg.main.0.h"
5 int main(int argc
, char** argv
) {
7 glob_argc
= argc
; glob_argv
= argv
;
8 initialize_gc_option();
9 var
= NEW_kernel__Sys(&type_kernel__Sys
);
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>*/;