extern void exitf_c(fint *);