let have =
function
| "fstatvfs" -> Some true
| "openat" -> Some true
| "getpgid" -> Some true
| "posix_openpt" -> Some true
| "unsetenv" -> Some true
| "tiocmbis" -> Some true
| "getsid" -> Some true
| "setpgid" -> Some true
| "asctime" -> Some true
| "unsafe_get_int8" -> Some true
| "unsafe_pwrite" -> Some true
| "unsafe_intr_pread" -> Some true
| "grantpt" -> Some true
| "unsafe_set_int32" -> Some true
| "unsafe_set_int31" -> Some true
| "mlockall" -> Some true
| "clearenv" -> Some true
| "unsafe_all_read" -> Some true
| "eventfd_write" -> Some true
| "int31_from_host" -> Some true
| "unsafe_get_uint31" -> Some true
| "signalfd_read" -> Some true
| "single_write" -> Some true
| "internal_mkostemps" -> Some true
| "ssi_tid" -> Some true
| "tzname" -> Some true
| "ssi_trapno" -> Some true
| "tiocmset" -> Some true
| "ssi_utime" -> Some true
| "tiocmbic" -> Some true
| "fdatasync" -> Some true
| "unsafe_set_uint16" -> Some true
| "mkdtemp" -> Some true
| "setpriority" -> Some true
| "ssi_ptr" -> Some true
| "uint31_from_host" -> Some true
| "uint16_to_host" -> Some true
| "setrlimit" -> Some true
| "dirfd" -> Some true
| "int32_to_host" -> Some true
| "unsafe_get_uint8" -> Some true
| "ssi_status" -> Some true
| "intr_read" -> Some true
| "tiocmget" -> Some true
| "setresuid" -> Some true
| "ptrace" -> Some true
| "memalign" -> Some true
| "ssi_band" -> Some true
| "backtrace" -> Some true
| "unsafe_intr_write" -> Some true
| "ptrace_peekdata" -> Some true
| "sendmsg" -> Some true
| "tcgetpgrp" -> Some true
| "unsafe_set_int16" -> Some true
| "ttyname" -> Some true
| "renameat" -> Some true
| "unsafe_get_uint16" -> Some true
| "eventfd" -> Some true
| "setreuid" -> Some true
| "unlockpt" -> Some true
| "ssi_fd" -> Some true
| "ctermid" -> Some true
| "tcsetpgrp" -> Some true
| "ssi_addr" -> Some true
| "int32_from_host" -> Some true
| "statvfs" -> Some true
| "fexecve" -> Some true
| "all_write" -> Some true
| "ptsname" -> Some true
| "int16_to_host" -> Some true
| "uint31_to_host" -> Some true
| "all_read" -> Some true
| "malloc_info" -> Some true
| "unsafe_get_int32" -> Some true
| "int64_from_host" -> Some true
| "strptime" -> Some true
| "unsafe_get_int31" -> Some true
| "realpath" -> Some true
| "ssi_code" -> Some true
| "ssi_uid" -> Some true
| "ssi_overrun" -> Some true
| "read" -> Some true
| "internal_mkstemps" -> Some true
| "fallocate" -> Some true
| "crtscts" -> Some true
| "unsafe_all_pwrite" -> Some true
| "unsafe_intr_pwrite" -> Some true
| "eventfd_read" -> Some true
| "getrlimit" -> Some true
| "write" -> Some true
| "int16_from_host" -> Some true
| "malloc_stats" -> Some true
| "linkat" -> Some true
| "ssi_signo_sys" -> Some true
| "signalfd" -> Some true
| "intr_write" -> Some true
| "fsync" -> Some true
| "unsafe_pread" -> Some true
| "int31_to_host" -> Some true
| "unsafe_set_int64" -> Some true
| "unlinkat" -> Some true
| "uint16_from_host" -> Some true
| "unsafe_single_read" -> Some true
| "unsafe_single_pread" -> Some true
| "unsafe_all_pread" -> Some true
| "setresgid" -> Some true
| "unsafe_get_int16" -> Some true
| "getpriority" -> Some true
| "ssi_int" -> Some true
| "fstatat" -> Some true
| "unsafe_intr_read" -> Some true
| "int64_to_host" -> Some true
| "fadvise" -> Some true
| "ptrace_traceme" -> Some true
| "unsafe_set_int8" -> Some true
| "setregid" -> Some true
| "ssi_pid" -> Some true
| "timegm" -> Some true
| "recvmsg_fd" -> Some true
| "strftime" -> Some true
| "uname" -> Some true
| "ssi_stime" -> Some true
| "single_read" -> Some true
| "unsafe_write" -> Some true
| "siocgifconf" -> Some true
| "ssi_signo" -> Some true
| "unsafe_read" -> Some true
| "unsafe_set_uint8" -> Some true
| "is_open_descr" -> Some true
| "unsafe_single_write" -> Some true
| "unsafe_single_pwrite" -> Some true
| "read_credentials" -> Some true
| "unsafe_all_write" -> Some true
| "unsafe_set_uint31" -> Some true
| "ssi_errno" -> Some true
| "mkdirat" -> Some true
| "setenv" -> Some true
| "munlockall" -> Some true
| "unsafe_get_int64" -> Some true
| "ptrace_peektext" -> Some true
| "symlinkat" -> Some true
| _ -> None