EXPORTS
init_random
