EXPORTS
init_random