#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 seconds\n");
exit(1);
}
fprintf(2, "sleeping %d seconds\n", atoi(argv[1]));
sleep(atoi(argv[1]));
exit(0);
}