struct drand48_data {
        unsigned long long int __a;
        };
          int __seed48_r (seed16v, buffer) unsigned short int seed16v[3];
               struct drand48_data *buffer;
          {
        buffer->__a = 0x5deece66dull;
        }