#ifndef __DRAND48_H
#define __DRAND48_H

extern "C" {
  extern double	drand48(void);
  extern void	srand48(long);
  extern unsigned short * seed48(unsigned short int [3]);
}

#endif