let POSIX := requireModule "init.5D" in 
(runIO $ POSIX.lseek FD 10 0) /= -1 &&
(runIO $ POSIX.getc file) = #\A && 
['localtimeR localtimeR]
['revoke revoke]
['seteuid seteuid]
['sysconf sysconf]
['readlinkat readlinkat]
['wctomb wctomb]
['random random]
['fclose fclose]
['putcUnlocked putcUnlocked]
['timegm timegm]
['kill kill]
['strtoul strtoul]
['gnuDevMinor gnuDevMinor]
['randR randR]
['fflush fflush]
['atoll atoll]
['strtol strtol]
['fputc fputc]
['pause pause]
['preadv preadv]
['strftimeL strftimeL]
['strtod strtod]
['fwrite fwrite]
['strtof strtof]
['umask umask]
['setsid setsid]
['send send]
['writev writev]
['fputs fputs]
['fchmod fchmod]
['poll poll]
['futimens futimens]
['setgid setgid]
['realloc realloc]
['setlogmask setlogmask]
['posixFallocate posixFallocate]
['rewinddir rewinddir]
['getline getline]
['localtime localtime]
['strtoll strtoll]
['initstateR initstateR]
['fwriteUnlocked fwriteUnlocked]
['strtouq strtouq]
['dup2 dup2]
['read read]
['mkstemps mkstemps]
['sigwaitinfo sigwaitinfo]
['vscanf vscanf]
['getppid getppid]
['getloadavg getloadavg]
['getpgrp getpgrp]
['renameat renameat]
['fileno fileno]
['stime stime]
['wcstombs wcstombs]
['perror perror]
['ferrorUnlocked ferrorUnlocked]
['fsync fsync]
['uname uname]
['munmap munmap]
['signal signal]
['setreuid setreuid]
['getdelim getdelim]
['remove remove]
['mblen mblen]
['recvfrom recvfrom]
['opendir opendir]
['gnuDevMajor gnuDevMajor]
['freopen freopen]
['sendto sendto]
['sleep sleep]
['execv execv]
['setstate setstate]
['freadP freadP]
['mkdirat mkdirat]
['ttyname ttyname]
['getcUnlocked getcUnlocked]
['mbtowc mbtowc]
['vsscanf vsscanf]
['mkdtemp mkdtemp]
['fgetcUnlocked fgetcUnlocked]
['fgetc fgetc]
['setsockopt setsockopt]
['pclose pclose]
['strtoull strtoull]
['llabs llabs]
['readdir readdir]
['sigreturn sigreturn]
['syslog syslog]
['fchownat fchownat]
['connect connect]
['getsockname getsockname]
['pread pread]
['fgets fgets]
['close close]
['getgid getgid]
['ttynameR ttynameR]
['ctermid ctermid]
['pwritev pwritev]
['mktemp mktemp]
['killpg killpg]
['fopen fopen]
['clock clock]
['openlog openlog]
['fgetpos fgetpos]
['fsetpos fsetpos]
['access access]
['setpgrp setpgrp]
['ftell ftell]
['abs abs]
['exit exit]
['sigaltstack sigaltstack]
['vdprintf vdprintf]
['mbstowcs mbstowcs]
['socketpair socketpair]
['setstateR setstateR]
['usleep usleep]
['sigsuspend sigsuspend]
['fchmodat fchmodat]
['setpgid setpgid]
['ferror ferror]
['getcwd getcwd]
['gmtime gmtime]
['free free]
['freadUnlocked freadUnlocked]
['dirfd dirfd]
['setregid setregid]
['fchdir fchdir]
['fexecve fexecve]
['getsubopt getsubopt]
['getpeername getpeername]
['recv recv]
['getloginR getloginR]
['getsid getsid]
['raise raise]
['labs labs]
['fseeko fseeko]
['munlockall munlockall]
['msync msync]
['symlinkat symlinkat]
['vsprintf vsprintf]
['sigprocmask sigprocmask]
['sigemptyset sigemptyset]
['lchown lchown]
['strcmp strcmp]
['bsearch bsearch]
['mmap mmap]
['readlink readlink]
['closelog closelog]
['psiginfo psiginfo]
['vsyslog vsyslog]
['sendmsg sendmsg]
['srandom srandom]
['rand rand]
['tzset tzset]
['getdirentries getdirentries]
['openMemstream openMemstream]
['linkat linkat]
['qsort qsort]
['filenoUnlocked filenoUnlocked]
['sigtimedwait sigtimedwait]
['tmpfile tmpfile]
['chmod chmod]
['system system]
['sync sync]
['getpgid getpgid]
['posixFadvise posixFadvise]
['shutdown shutdown]
['gethostid gethostid]
['fmemopen fmemopen]
['clearerrUnlocked clearerrUnlocked]
['open open]
['sigvec sigvec]
['select select]
['getchar getchar]
['symlink symlink]
['sockatmark sockatmark]
['unlink unlink]
['gethostname gethostname]
['getsockopt getsockopt]
['puts puts]
['mktime mktime]
['fdopen fdopen]
['sigaction sigaction]
['nanosleep nanosleep]
['setegid setegid]
['mkdir mkdir]
['randomR randomR]
['sigpending sigpending]
['mkfifoat mkfifoat]
['mkfifo mkfifo]
['faccessat faccessat]
['vfork vfork]
['rmdir rmdir]
['putc putc]
['psignal psignal]
['dup dup]
['fdatasync fdatasync]
['vsnprintf vsnprintf]
['getpid getpid]
['fork fork]
['fgetsP fgetsP]
['srand srand]
['confstr confstr]
['execvpe execvpe]
['posixMadvise posixMadvise]
['setbuffer setbuffer]
['alphasort alphasort]
['sigismember sigismember]
['execvp execvp]
['sigaddset sigaddset]
['getenv getenv]
['atoi atoi]
['link link]
['mlock mlock]
['atol atol]
['sigpause sigpause]
['getdelimP getdelimP]
['putchar putchar]
['pselect pselect]
['atof atof]
['sigstack sigstack]
['execve execve]
['socket socket]
['chdir chdir]
['madvise madvise]
['lchmod lchmod]
['getcharUnlocked getcharUnlocked]
['ftrylockfile ftrylockfile]
['posixMemalign posixMemalign]
['strtoq strtoq]
['setuid setuid]
['gmtimeR gmtimeR]
['utimensat utimensat]
['getlineP getlineP]
['sigwait sigwait]
['ungetc ungetc]
['ftruncate ftruncate]
['tcgetpgrp tcgetpgrp]
['listen listen]
['clearenv clearenv]
['difftime difftime]
['gnuDevMakedev gnuDevMakedev]
['rename rename]
['readdirR readdirR]
['malloc malloc]
['lockf lockf]
['creat creat]
['cfree cfree]
['siginterrupt siginterrupt]
['mprotect mprotect]
['fread fread]
['ftello ftello]
['errno errno]
['accept accept]
['popen popen]
['strtold strtold]
['sigfillset sigfillset]
['abort abort]
['initstate initstate]
['sigblock sigblock]
['isfdtype isfdtype]
['readv readv]
['isatty isatty]
['feof feof]
['telldir telldir]
['pipe pipe]
['sigqueue sigqueue]
['chroot chroot]
['clearerr clearerr]
['getgroups getgroups]
['tcsetpgrp tcsetpgrp]
['geteuid geteuid]
['fseek fseek]
['seekdir seekdir]
['write write]
['munlock munlock]
['setenv setenv]
['recvmsg recvmsg]
['recvmmsg recvmmsg]
['vfprintf vfprintf]
['rewind rewind]
['vprintf vprintf]
['getopt getopt]
['mkstemp mkstemp]
['siggetmask siggetmask]
['vfscanf vfscanf]
['nice nice]
['flockfile flockfile]
['realpath realpath]
['getlogin getlogin]
['truncate truncate]
['unsetenv unsetenv]
['openat openat]
['sigsetmask sigsetmask]
['fputcUnlocked fputcUnlocked]
['closedir closedir]
['fdopendir fdopendir]
['getegid getegid]
['fflushUnlocked fflushUnlocked]
['calloc calloc]
['setbuf setbuf]
['fchown fchown]
['pathconf pathconf]
['unlinkat unlinkat]
['funlockfile funlockfile]
['getuid getuid]
['sigdelset sigdelset]
['bind bind]
['alarm alarm]
['feofUnlocked feofUnlocked]
['pwrite pwrite]
['putcharUnlocked putcharUnlocked]
['fpathconf fpathconf]
['chown chown]
['strftime strftime]
['time time]
['mlockall mlockall]
['setlinebuf setlinebuf]
['srandomR srandomR]
['setvbuf setvbuf]
['scandir scandir]]