random.cc #2