extern void irpl_corners_c(double *,double *);