#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, char *argv[]) 
{
  printf("exec01 begins!\n");
  execlp("world", "world", (char *) 0);
  printf("exec01 ends!\n");
  return 0;
}