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.