1  extern float f2c_5b_(double *);
       2  extern void abort (void);
       3  
       4  void f2c_5a_(void) {
       5    double a,b;
       6    a = 1023.0;
       7    b=f2c_5b_(&a);
       8    if ( a != b ) abort();
       9  }