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

int main(void)
{
  execl("/usr/local/bin/txr",
        "/usr/local/bin/txr",
        PWD "/main.txr", (char *) 0);
  return EXIT_FAILURE;
}