Sorry about that Ken. I mistyped a few times even in the revised version. But it looks like the problem is actually due to forking and waitpid. I've posted it as a separate question, with complete minimum code this time.