1  int _IO_getc(int*);
       2  read_long(int *fp)
       3  {
       4    unsigned char b0, b1, b2, b3;
       5    b0 = _IO_getc (fp);
       6    b1 = _IO_getc (fp);
       7    b2 = _IO_getc (fp);
       8    b3 = _IO_getc (fp);
       9    return ((int)(((((b3 << 8) | b2) << 8) | b1) << 8) | b0);
      10  }