text: #include "kernel/types.h"
  #include "kernel/stat.h"
  #include "user/user.h"
  
  int main(int argc,  char *argv[])
  {
      int n = 0;
      if (argc >= 2) n = atoi(argv[1]);
      
      printf("Tell me your input for lab1: %d\n", n);
      lab1(n);
      exit(0);
  }
  