#ifndef random_h #define random_h extern float random_fraction(void); #endif