williamr@0: random.h