#include <stdio.h>
#include <syscall.h>

int
main (int argc, char **argv)
{
  printf ("hello\n");
  if (argc != 1) {
    int child = exec("wait");
    printf("%d: %d\n", child, wait(child));
  }
  exit(1);
}