extern void finis_c(void);