SYSCALL_FAIL
SYSCALL_FAIL(syscall, "errno != ENOTCAPABLE"); \
SYSCALL_FAIL(syscall, "failed"); \
SYSCALL_FAIL(mmap, "failed"); \