unsigned long os_random(void);