extern void enterc_c(void);