namespace Random { int get_value(int min, int max); }