#include <mach/syscall_sw.h>

        kernel_trap(invalid_syscall,-31,0)