Question to Chris

Thank you for this comment, Mike.
So... your suggestion is to make a valid transform for each loop like:

for (;C;) {
  S
}

is to transform:

top:
if (!C) goto end;
  S
goto top;
end:

For now, my code is incomplete so not ready to present for audit yet but I hope it asap.

In fact, I couldn't understand what you said:

The cost of the .pdf file outweighed the benefit for me. I can see
the pretty graphs in the straight text code. If you want to help me
see them further, just indent.

Forgive my poor English. What did you mean by that?

Thanks,
Seung