extern void init_c(void);