#include <stdio.h>
#include <unistd.h>
#include <errno.h>
int main(int argc, char *argv[])
{
    int ret = syscall(6666666);
    printf("syscall(6666666) returned %d\nerrno is %d (%m)\n", ret, errno);
    return 0;
}