#ifndef NCMLIB_RANDOM__
#define NCMLIB_RANDOM__
uint32_t libc_random_u32(void);

#endif