text: #include "types.h"
  #include "stat.h"
  #include "user.h"
  #include "fcntl.h"
  
  int
  main(int argc, char *argv[])
  { 
    if (argc < 3) {
        printf(1, "Not enough numbers were provided!\n");
        exit();
    }
  
    set_ticket(atoi(argv[1]), atoi(argv[2]));
  
    exit();
  }