extern void leavec_c(void);