#include "types.h" #include "stat.h" #include "user.h" int main(int argc, char *argv[]) { int ticks = 0; if (argc > 1) ticks = atoi(argv[1]); sleep(ticks); exit(); }