extern float ircc_times_c(fint *);