#include <nonstd/syscall.h>

typedef long (*syscall_lookup_t)(const char *);