#include <stdio.h>
#include <linux/errno.h>
#include <sys/syscall.h>
#include <linux/unistd.h>

_syscall1(int, PIDspacer, int, newSpace);

int main(int argc, char *argv[])
{
       if (argc == 2){
               printf("Calling the new system call...\n");
               PIDspacer(atoi(argv[1]));
               return(0);
       }else {
               printf("usage: %s <newspace>\n", argv[0]);
               return(1);
       }
}