int test_random(void);