diff --git a/libc-test/semver/redox.txt b/libc-test/semver/redox.txt
new file mode 100644
index 00000000..7a2b8965
--- /dev/null
+++ b/libc-test/semver/redox.txt
@@ -0,0 +1,1084 @@
+AF_INET
+AF_INET6
+AF_UNIX
+AF_UNSPEC
+ARPOP_REPLY
+ARPOP_REQUEST
+ATF_COM
+ATF_PERM
+ATF_PUBL
+ATF_USETRAILERS
+B0
+B1000000
+B110
+B115200
+B1152000
+B1200
+B134
+B150
+B1500000
+B1800
+B19200
+B200
+B2000000
+B230400
+B2400
+B2500000
+B300
+B3000000
+B3500000
+B38400
+B4000000
+B460800
+B4800
+B50
+B500000
+B57600
+B576000
+B600
+B75
+B921600
+B9600
+BRKINT
+CLOCAL
+CLOCK_MONOTONIC
+CLOCK_REALTIME
+CREAD
+CS5
+CS6
+CS7
+CS8
+CSIZE
+CSTOPB
+DIR
+DT_BLK
+DT_CHR
+DT_DIR
+DT_FIFO
+DT_LNK
+DT_REG
+DT_SOCK
+DT_UNKNOWN
+Dl_info
+E2BIG
+EACCES
+EADDRINUSE
+EADDRNOTAVAIL
+EADV
+EAFNOSUPPORT
+EAGAIN
+EAI_SYSTEM
+EALREADY
+EBADE
+EBADF
+EBADFD
+EBADMSG
+EBADR
+EBADRQC
+EBADSLT
+EBFONT
+EBUSY
+ECANCELED
+ECHILD
+ECHO
+ECHOE
+ECHOK
+ECHONL
+ECHRNG
+ECOMM
+ECONNABORTED
+ECONNREFUSED
+ECONNRESET
+EDEADLK
+EDEADLOCK
+EDESTADDRREQ
+EDOM
+EDOTDOT
+EDQUOT
+EEXIST
+EFAULT
+EFBIG
+EHOSTDOWN
+EHOSTUNREACH
+EIDRM
+EILSEQ
+EINPROGRESS
+EINTR
+EINVAL
+EIO
+EISCONN
+EISDIR
+EISNAM
+EKEYEXPIRED
+EKEYREJECTED
+EKEYREVOKED
+EL2HLT
+EL2NSYNC
+EL3HLT
+EL3RST
+ELIBACC
+ELIBBAD
+ELIBEXEC
+ELIBMAX
+ELIBSCN
+ELNRNG
+ELOOP
+EMEDIUMTYPE
+EMFILE
+EMLINK
+EMSGSIZE
+EMULTIHOP
+ENAMETOOLONG
+ENAVAIL
+ENETDOWN
+ENETRESET
+ENETUNREACH
+ENFILE
+ENOANO
+ENOBUFS
+ENOCSI
+ENODATA
+ENODEV
+ENOENT
+ENOEXEC
+ENOKEY
+ENOLCK
+ENOLINK
+ENOMEDIUM
+ENOMEM
+ENOMSG
+ENONET
+ENOPKG
+ENOPROTOOPT
+ENOSPC
+ENOSR
+ENOSTR
+ENOSYS
+ENOTBLK
+ENOTCONN
+ENOTDIR
+ENOTEMPTY
+ENOTNAM
+ENOTRECOVERABLE
+ENOTSOCK
+ENOTTY
+ENOTUNIQ
+ENXIO
+EOPNOTSUPP
+EOVERFLOW
+EOWNERDEAD
+EPERM
+EPFNOSUPPORT
+EPIPE
+EPOLLERR
+EPOLLET
+EPOLLEXCLUSIVE
+EPOLLHUP
+EPOLLIN
+EPOLLMSG
+EPOLLNVAL
+EPOLLONESHOT
+EPOLLOUT
+EPOLLPRI
+EPOLLRDBAND
+EPOLLRDHUP
+EPOLLRDNORM
+EPOLLWAKEUP
+EPOLLWRBAND
+EPOLLWRNORM
+EPOLL_CLOEXEC
+EPOLL_CTL_ADD
+EPOLL_CTL_DEL
+EPOLL_CTL_MOD
+EPROTO
+EPROTONOSUPPORT
+EPROTOTYPE
+ERANGE
+EREMCHG
+EREMOTE
+EREMOTEIO
+ERESTART
+EROFS
+ESHUTDOWN
+ESOCKTNOSUPPORT
+ESPIPE
+ESRCH
+ESRMNT
+ESTALE
+ESTRPIPE
+ETIME
+ETIMEDOUT
+ETOOMANYREFS
+ETXTBSY
+EUCLEAN
+EUNATCH
+EUSERS
+EWOULDBLOCK
+EXDEV
+EXFULL
+EXIT_FAILURE
+EXIT_SUCCESS
+FD_CLOEXEC
+FD_CLR
+FD_ISSET
+FD_SET
+FD_SETSIZE
+FD_ZERO
+FILE
+FIOCLEX
+FIONBIO
+F_DUPFD
+F_DUPFD_CLOEXEC
+F_GETFD
+F_GETFL
+F_GETLK
+F_OK
+F_SETFD
+F_SETFL
+F_SETLK
+F_SETLKW
+GRPQUOTA
+HUPCL
+ICANON
+ICRNL
+IEXTEN
+IFNAMSIZ
+IF_NAMESIZE
+IGNBRK
+IGNCR
+IGNPAR
+IMAXBEL
+INADDR_ANY
+INADDR_BROADCAST
+INADDR_LOOPBACK
+INADDR_NONE
+INLCR
+INPCK
+INT_MAX
+INT_MIN
+IPPROTO_ICMP
+IPPROTO_ICMPV6
+IPPROTO_IP
+IPPROTO_IPV6
+IPPROTO_TCP
+IPPROTO_UDP
+IPV6_ADD_MEMBERSHIP
+IPV6_DROP_MEMBERSHIP
+IPV6_MULTICAST_HOPS
+IPV6_MULTICAST_IF
+IPV6_MULTICAST_LOOP
+IPV6_UNICAST_HOPS
+IPV6_V6ONLY
+IP_ADD_MEMBERSHIP
+IP_DROP_MEMBERSHIP
+IP_MULTICAST_IF
+IP_MULTICAST_LOOP
+IP_MULTICAST_TTL
+IP_TTL
+ISIG
+ISTRIP
+IUCLC
+IUTF8
+IXANY
+IXOFF
+IXON
+LOCK_EX
+LOCK_NB
+LOCK_SH
+LOCK_UN
+LOG_ALERT
+LOG_AUTH
+LOG_CONS
+LOG_CRIT
+LOG_DAEMON
+LOG_DEBUG
+LOG_EMERG
+LOG_ERR
+LOG_FACMASK
+LOG_INFO
+LOG_KERN
+LOG_LOCAL0
+LOG_LOCAL1
+LOG_LOCAL2
+LOG_LOCAL3
+LOG_LOCAL4
+LOG_LOCAL5
+LOG_LOCAL6
+LOG_LOCAL7
+LOG_LPR
+LOG_MAIL
+LOG_NDELAY
+LOG_NEWS
+LOG_NOTICE
+LOG_NOWAIT
+LOG_ODELAY
+LOG_PID
+LOG_PRIMASK
+LOG_SYSLOG
+LOG_USER
+LOG_UUCP
+LOG_WARNING
+MAP_ANON
+MAP_ANONYMOUS
+MAP_FAILED
+MAP_FIXED
+MAP_PRIVATE
+MAP_SHARED
+MSG_CTRUNC
+MSG_DONTROUTE
+MSG_EOR
+MSG_OOB
+MSG_PEEK
+MSG_TRUNC
+MSG_WAITALL
+MS_ASYNC
+MS_INVALIDATE
+MS_SYNC
+NCCS
+NI_DGRAM
+NI_MAXHOST
+NI_MAXSERV
+NI_NAMEREQD
+NI_NOFQDN
+NI_NUMERICHOST
+NI_NUMERICSERV
+NOFLSH
+NSIG
+OCRNL
+OFDEL
+OFILL
+OLCUC
+ONLCR
+ONLRET
+ONOCR
+OPOST
+O_ACCMODE
+O_APPEND
+O_ASYNC
+O_CLOEXEC
+O_CREAT
+O_DIRECTORY
+O_EXCL
+O_EXLOCK
+O_FSYNC
+O_NOFOLLOW
+O_NONBLOCK
+O_PATH
+O_RDONLY
+O_RDWR
+O_SHLOCK
+O_SYMLINK
+O_TRUNC
+O_WRONLY
+PARENB
+PARMRK
+PARODD
+PATH_MAX
+PF_INET
+PF_INET6
+PF_UNIX
+PF_UNSPEC
+POLLERR
+POLLHUP
+POLLIN
+POLLNVAL
+POLLOUT
+POLLPRI
+PRIO_MAX
+PRIO_MIN
+PRIO_PGRP
+PRIO_PROCESS
+PRIO_USER
+PROT_EXEC
+PROT_NONE
+PROT_READ
+PROT_WRITE
+PTHREAD_COND_INITIALIZER
+PTHREAD_MUTEX_INITIALIZER
+PTHREAD_MUTEX_NORMAL
+PTHREAD_MUTEX_RECURSIVE
+PTHREAD_RWLOCK_INITIALIZER
+PTHREAD_STACK_MIN
+RTLD_DEFAULT
+RTLD_GLOBAL
+RTLD_LAZY
+RTLD_LOCAL
+RTLD_NOW
+R_OK
+SA_NOCLDSTOP
+SA_NOCLDWAIT
+SA_NODEFER
+SA_ONSTACK
+SA_RESETHAND
+SA_RESTART
+SA_RESTORER
+SA_SIGINFO
+SEEK_CUR
+SEEK_END
+SEEK_SET
+SHUT_RD
+SHUT_RDWR
+SHUT_WR
+SIGABRT
+SIGALRM
+SIGBUS
+SIGCHLD
+SIGCONT
+SIGFPE
+SIGHUP
+SIGILL
+SIGINT
+SIGIO
+SIGIOT
+SIGKILL
+SIGPIPE
+SIGPROF
+SIGPWR
+SIGQUIT
+SIGSEGV
+SIGSTKFLT
+SIGSTOP
+SIGSYS
+SIGTERM
+SIGTRAP
+SIGTSTP
+SIGTTIN
+SIGTTOU
+SIGURG
+SIGUSR1
+SIGUSR2
+SIGVTALRM
+SIGWINCH
+SIGXCPU
+SIGXFSZ
+SIG_BLOCK
+SIG_DFL
+SIG_ERR
+SIG_IGN
+SIG_SETMASK
+SIG_UNBLOCK
+SOCK_CLOEXEC
+SOCK_DGRAM
+SOCK_NONBLOCK
+SOCK_SEQPACKET
+SOCK_STREAM
+SOL_SOCKET
+SO_ACCEPTCONN
+SO_BROADCAST
+SO_BSDCOMPAT
+SO_DEBUG
+SO_DOMAIN
+SO_DONTROUTE
+SO_ERROR
+SO_KEEPALIVE
+SO_LINGER
+SO_NO_CHECK
+SO_OOBINLINE
+SO_PASSCRED
+SO_PEERCRED
+SO_PEERSEC
+SO_PRIORITY
+SO_PROTOCOL
+SO_RCVBUF
+SO_RCVBUFFORCE
+SO_RCVLOWAT
+SO_RCVTIMEO
+SO_REUSEADDR
+SO_REUSEPORT
+SO_SNDBUF
+SO_SNDBUFFORCE
+SO_SNDLOWAT
+SO_SNDTIMEO
+SO_TYPE
+STDERR_FILENO
+STDIN_FILENO
+STDOUT_FILENO
+S_IFBLK
+S_IFCHR
+S_IFDIR
+S_IFIFO
+S_IFLNK
+S_IFMT
+S_IFREG
+S_IFSOCK
+S_IRGRP
+S_IROTH
+S_IRUSR
+S_IRWXG
+S_IRWXO
+S_IRWXU
+S_ISGID
+S_ISUID
+S_ISVTX
+S_IWGRP
+S_IWOTH
+S_IWUSR
+S_IXGRP
+S_IXOTH
+S_IXUSR
+TCFLSH
+TCGETS
+TCIFLUSH
+TCIOFF
+TCIOFLUSH
+TCION
+TCOFLUSH
+TCOOFF
+TCOON
+TCP_KEEPIDLE
+TCP_NODELAY
+TCSADRAIN
+TCSAFLUSH
+TCSANOW
+TCSETS
+TIOCGPGRP
+TIOCGWINSZ
+TIOCSPGRP
+TIOCSWINSZ
+TOSTOP
+USRQUOTA
+UTSLENGTH
+VDISCARD
+VEOF
+VEOL
+VEOL2
+VERASE
+VINTR
+VKILL
+VLNEXT
+VMIN
+VQUIT
+VREPRINT
+VSTART
+VSTOP
+VSUSP
+VSWTC
+VT0
+VT1
+VTDLY
+VTIME
+VWERASE
+WCONTINUED
+WCOREDUMP
+WEXITED
+WEXITSTATUS
+WIFCONTINUED
+WIFEXITED
+WIFSIGNALED
+WIFSTOPPED
+WNOHANG
+WNOWAIT
+WSTOPPED
+WSTOPSIG
+WTERMSIG
+WUNTRACED
+W_OK
+X_OK
+_PC_2_SYMLINKS
+_PC_ALLOC_SIZE_MIN
+_PC_ASYNC_IO
+_PC_CHOWN_RESTRICTED
+_PC_FILESIZEBITS
+_PC_LINK_MAX
+_PC_MAX_CANON
+_PC_MAX_INPUT
+_PC_NAME_MAX
+_PC_NO_TRUNC
+_PC_PATH_MAX
+_PC_PIPE_BUF
+_PC_PRIO_IO
+_PC_REC_INCR_XFER_SIZE
+_PC_REC_MAX_XFER_SIZE
+_PC_REC_MIN_XFER_SIZE
+_PC_REC_XFER_ALIGN
+_PC_SOCK_MAXBUF
+_PC_SYMLINK_MAX
+_PC_SYNC_IO
+_PC_VDISABLE
+_SC_ARG_MAX
+_SC_CHILD_MAX
+_SC_CLK_TCK
+_SC_HOST_NAME_MAX
+_SC_LOGIN_NAME_MAX
+_SC_NGROUPS_MAX
+_SC_OPEN_MAX
+_SC_PAGESIZE
+_SC_PAGE_SIZE
+_SC_RE_DUP_MAX
+_SC_STREAM_MAX
+_SC_SYMLOOP_MAX
+_SC_TTY_NAME_MAX
+_SC_TZNAME_MAX
+_SC_VERSION
+__WALL
+__WCLONE
+__WNOTHREAD
+__errno_location
+_exit
+abort
+accept
+access
+addrinfo
+alarm
+atexit
+atoi
+bind
+blkcnt_t
+blksize_t
+bsearch
+c_char
+c_double
+c_float
+c_int
+c_long
+c_longlong
+c_schar
+c_short
+c_uchar
+c_uint
+c_ulong
+c_ulonglong
+c_ushort
+c_void
+calloc
+cc_t
+cfgetispeed
+cfgetospeed
+cfmakeraw
+cfsetispeed
+cfsetospeed
+cfsetspeed
+chdir
+chmod
+chown
+chroot
+clearerr
+clock_gettime
+clock_t
+clockid_t
+close
+closedir
+closelog
+connect
+creat
+dev_t
+difftime
+dirent
+dladdr
+dlclose
+dlerror
+dlopen
+dlsym
+dup
+dup2
+endservent
+epoll_create
+epoll_create1
+epoll_ctl
+epoll_event
+epoll_wait
+execl
+execle
+execlp
+execv
+execve
+execvp
+exit
+fchdir
+fchmod
+fchmodat
+fchown
+fchownat
+fclose
+fcntl
+fd_set
+fdopen
+feof
+ferror
+fflush
+fgetc
+fgetpos
+fgets
+fileno
+flock
+fmemopen
+fopen
+fork
+fpathconf
+fpos_t
+fprintf
+fputc
+fputs
+fread
+free
+freeaddrinfo
+freopen
+fsblkcnt_t
+fscanf
+fseek
+fseeko
+fsetpos
+fsfilcnt_t
+fstat
+fstatat
+fstatvfs
+fsync
+ftell
+ftello
+ftruncate
+futimens
+fwrite
+gai_strerror
+getaddrinfo
+getchar
+getchar_unlocked
+getcwd
+getegid
+getenv
+geteuid
+getgid
+getgroups
+gethostname
+getline
+getlogin
+getopt
+getpeername
+getpgid
+getpgrp
+getpid
+getppid
+getprotobyname
+getprotobynumber
+getpwnam
+getpwuid
+getpwuid_r
+getrlimit
+getrusage
+getservbyname
+getservbyport
+getservent
+getsockname
+getsockopt
+gettimeofday
+getuid
+gid_t
+gmtime
+gmtime_r
+grantpt
+group
+hostent
+if_indextoname
+if_nametoindex
+in6_addr
+in_addr
+in_addr_t
+in_port_t
+ino_t
+int16_t
+int32_t
+int64_t
+int8_t
+intmax_t
+intptr_t
+ioctl
+iovec
+ip_mreq
+ipv6_mreq
+isalnum
+isalpha
+isatty
+isblank
+iscntrl
+isdigit
+isgraph
+islower
+isprint
+ispunct
+isspace
+isupper
+isxdigit
+itimerval
+kill
+killpg
+lchown
+lconv
+linger
+link
+linkat
+listen
+locale_t
+localeconv
+localtime
+localtime_r
+lockf
+lseek
+lstat
+malloc
+memalign
+memchr
+memcmp
+memcpy
+memmove
+memset
+mkdir
+mkdtemp
+mkfifo
+mknod
+mkstemp
+mktime
+mlock
+mlockall
+mmap
+mode_t
+mprotect
+msync
+munlock
+munlockall
+munmap
+nanosleep
+nfds_t
+nice
+nlink_t
+off_t
+open
+open_memstream
+open_wmemstream
+opendir
+openlog
+passwd
+pathconf
+pclose
+perror
+pid_t
+pipe
+pipe2
+poll
+pollfd
+posix_memalign
+posix_openpt
+pread
+printf
+protoent
+pselect
+pthread_atfork
+pthread_attr_destroy
+pthread_attr_init
+pthread_attr_setdetachstate
+pthread_attr_setstacksize
+pthread_attr_t
+pthread_cond_broadcast
+pthread_cond_destroy
+pthread_cond_init
+pthread_cond_signal
+pthread_cond_t
+pthread_cond_timedwait
+pthread_cond_wait
+pthread_condattr_destroy
+pthread_condattr_init
+pthread_condattr_setclock
+pthread_condattr_t
+pthread_create
+pthread_detach
+pthread_exit
+pthread_getspecific
+pthread_join
+pthread_key_create
+pthread_key_delete
+pthread_key_t
+pthread_mutex_destroy
+pthread_mutex_init
+pthread_mutex_lock
+pthread_mutex_t
+pthread_mutex_trylock
+pthread_mutex_unlock
+pthread_mutexattr_destroy
+pthread_mutexattr_init
+pthread_mutexattr_settype
+pthread_mutexattr_t
+pthread_rwlock_destroy
+pthread_rwlock_init
+pthread_rwlock_rdlock
+pthread_rwlock_t
+pthread_rwlock_tryrdlock
+pthread_rwlock_trywrlock
+pthread_rwlock_unlock
+pthread_rwlock_wrlock
+pthread_rwlockattr_destroy
+pthread_rwlockattr_init
+pthread_rwlockattr_t
+pthread_self
+pthread_setspecific
+pthread_sigmask
+pthread_t
+ptrdiff_t
+ptsname
+putchar
+putchar_unlocked
+putenv
+puts
+pwrite
+qsort
+raise
+read
+readdir
+readlink
+readv
+realloc
+realpath
+recv
+recvfrom
+remove
+rename
+renameat
+res_init
+rewind
+rewinddir
+rlim_t
+rlimit
+rmdir
+rusage
+sa_family_t
+scanf
+sched_yield
+select
+sem_post
+sem_t
+sem_trywait
+sem_wait
+send
+sendto
+servent
+setbuf
+setegid
+setenv
+seteuid
+setgid
+setlocale
+setlogmask
+setpgid
+setrlimit
+setservent
+setsid
+setsockopt
+setuid
+setvbuf
+shm_open
+shm_unlink
+shutdown
+sigaction
+sigaddset
+sigdelset
+sigemptyset
+sigfillset
+sighandler_t
+sigismember
+signal
+sigpending
+sigprocmask
+sigset_t
+sigval
+size_t
+sleep
+snprintf
+sockaddr
+sockaddr_in
+sockaddr_in6
+sockaddr_storage
+sockaddr_un
+socket
+socketpair
+socklen_t
+speed_t
+sprintf
+sscanf
+ssize_t
+stat
+statvfs
+strcasecmp
+strcasestr
+strcat
+strchr
+strcmp
+strcoll
+strcpy
+strcspn
+strdup
+strerror
+strerror_r
+strlen
+strncasecmp
+strncat
+strncmp
+strncpy
+strndup
+strnlen
+strpbrk
+strrchr
+strsignal
+strspn
+strstr
+strtod
+strtok
+strtol
+strtoul
+strxfrm
+suseconds_t
+symlink
+symlinkat
+sysconf
+syslog
+system
+tcdrain
+tcflag_t
+tcflow
+tcflush
+tcgetattr
+tcgetpgrp
+tcgetsid
+tcsendbreak
+tcsetattr
+tcsetpgrp
+termios
+time
+time_t
+timegm
+times
+timespec
+timeval
+timezone
+tm
+tmpfile
+tmpnam
+tms
+tolower
+toupper
+ttyname
+ttyname_r
+uid_t
+uint16_t
+uint32_t
+uint64_t
+uint8_t
+uintmax_t
+uintptr_t
+umask
+uname
+ungetc
+unlink
+unlinkat
+unlockpt
+unsetenv
+usleep
+utimbuf
+utime
+utimes
+utsname
+wait
+waitpid
+wchar_t
+wcslen
+wcstombs
+winsize
+wmemchr
+write
+writev