#include <stdio.h>

int
main (int argc, char *argv[])
{
	char *	foo[4] = { "./codedump", "a", "b", NULL };

	execve (foo[0], foo, NULL);
}