seed48
*seed48(unsigned short[3]);
extern unsigned short *seed48(unsigned short *);
(void) seed48((unsigned short *) &pid);