we got this stuff in lib/platform/os.h iirc. sure it's somewhere in lib/platform