I'm not saying it doesn't ever terminate, I'm saying there is neither a return; nor an exit() from main(), and I get random numbers. Obviously, as this is undefined behavior, the results will vary near-randomly. Try 'sh -c 'pom; echo $?'' or something similar. -s p.s.: I get "23" pretty consistently.