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