#include double drand48_() { return drand48(); }