c = rand ();
finite (c)
