#include <unistd.h>
#include <stdio.h>
int
main (void)
{
  execlp ("[", "[", "-d", "/", "]", (char *) 0);
  perror ("execlp");
  return 1;
}