/library/std/src/sys/teeos/