int main(int argc, char **argv)
{
    int pid=fork();

    if(pid!=0)
    {
	printf("fool-init: forked child (pid: %i) spawning a Fools Shell\n",pid);
	execve("/bin/foolshell",0,0);

    }
    else
    {
	// TODO: wait for child and respawn shell if needed!
	volatile int i=0;
	while(1)
	{

	}
    }
    return 0;
}