/*************
* sysCall-main.c
* example C code that uses our sysCall interface.
*************/
int sysCallNum;
int sysCall(void);

  int main(void){
      int result;
      sysCallNum = 7;
      result = sysCall();
      return(0);
  }