#include <stdio.h>
#include <linux/unistd.h>

_syscall1(int, cs584, void*, data);

int main (int argc, char *argv[]) {

  void *data;

  printf ("Program started.\n");
  printf ("Making system call:");

  cs584(data);

  printf ("\nDone making system call.\n");

  return (0);

}