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

int main(int argc, char *argv[]) {
  if (argc != 2) {
    fprintf(2, "Usage: sleep duration");
    exit(1);
  }

  int duration = atoi(argv[1]);
  int result = sleep(duration);
  if (result != 0) {
    fprintf(2, "Failed");
    exit(result);
  }

  exit(0);
}
