#include "kernel/types.h"
#include "user/user.h"

int
main(int argc, char* argv[])
{
  uint sec = 0;

  if (argc <= 1) {
    fprintf(2, "usage: sleep [time (ticks)]\n");
    exit(1);
  }
  sec = atoi(argv[1]);

  sleep(sec);

  if (argc <= 2) {
    exit(0);
  }

  exit(0);
}