let have =
function
| "unlinkat" -> Some true
| "eventfd" -> Some true
| "linkat" -> Some true
| "tiocmset" -> Some true
| "fadvise" -> Some true
| "clearenv" -> Some true
| "setregid" -> Some true
| "eventfd_read" -> Some true
| "dirfd" -> Some true
| "ssi_addr" -> Some true
| "ptrace" -> Some true
| "ssi_tid" -> Some true
| "setrlimit" -> Some true
| "ptsname" -> Some true
| "ssi_status" -> Some true
| "statvfs" -> Some true
| "fsync" -> Some true
| "munlockall" -> Some true
| "unlockpt" -> Some true
| "eventfd_write" -> Some true
| "ssi_signo" -> Some true
| "getpriority" -> Some true
| "ssi_band" -> Some true
| "ssi_trapno" -> Some true
| "mkdirat" -> Some true
| "getpgid" -> Some true
| "uname" -> Some true
| "ssi_code" -> Some true
| "mlockall" -> Some true
| "tcsetpgrp" -> Some true
| "symlinkat" -> Some true
| "ttyname" -> Some true
| "ctermid" -> Some true
| "siocgifconf" -> Some true
| "grantpt" -> Some true
| "openat" -> Some true
| "fstatat" -> Some true
| "getsid" -> Some true
| "ssi_ptr" -> Some true
| "ptrace_peekdata" -> Some true
| "backtrace" -> Some true
| "fdatasync" -> Some true
| "ssi_fd" -> Some true
| "tiocmbis" -> Some true
| "strftime" -> Some true
| "renameat" -> Some true
| "ptrace_peektext" -> Some true
| "tzname" -> Some true
| "ptrace_traceme" -> Some true
| "asctime" -> Some true
| "strptime" -> Some true
| "crtscts" -> Some true
| "is_open_descr" -> Some true
| "fstatvfs" -> Some true
| "ssi_overrun" -> Some true
| "ssi_utime" -> Some true
| "setreuid" -> Some true
| "signalfd" -> Some true
| "tiocmget" -> Some true
| "tiocmbic" -> Some true
| "fallocate" -> Some true
| "setpgid" -> Some true
| "ssi_pid" -> Some true
| "setenv" -> Some true
| "unsetenv" -> Some true
| "ssi_signo_sys" -> Some true
| "getrlimit" -> Some true
| "ssi_uid" -> Some true
| "ssi_int" -> Some true
| "setpriority" -> Some true
| "ssi_stime" -> Some true
| "realpath" -> Some true
| "signalfd_read" -> Some true
| "posix_openpt" -> Some true
| "ssi_errno" -> Some true
| "tcgetpgrp" -> Some true
| "mkdtemp" -> Some true
| _ -> None