ref: 995a32b23775fd83b4d808d713b8d885cc2b297b dir: /libmp/port/os.h/
#include <lib9.h> extern ulong truerand(void); extern vlong nsec(void);