void c_init (void);