1 void init(int argc
, char *argv
[]) {
2 {extern void input_init(int, char *[]); input_init(argc
, argv
);}
3 {extern void main_init(int, char *[]); main_init(argc
, argv
);}
4 {extern void prof_init(int, char *[]); prof_init(argc
, argv
);}
5 {extern void trace_init(int, char *[]); trace_init(argc
, argv
);}
6 {extern void type_init(int, char *[]); type_init(argc
, argv
);}
