text: #include "types.h"
  #include "stat.h"
  #include "user.h"
  
  /* CS550 ATTENTION: to ensure correct compilation of the base code, 
     stub functions for the system call user space wrapper functions are provided. 
     REMEMBER to disable the stub functions (by commenting the following macro) to 
     allow your implementation to work properly. */
  //#define STUB_FUNCS
  #ifdef STUB_FUNCS
  void shutdown(void) {}
  #endif
  
  
  int 
  main(int argc, char * argv[])
  {
      printf(1, "BYE~\n");
  	//setrunningticks(1000);
  	//setwaitingticks(4);
      shutdown();
      exit(); //return 0;
  }
  