The gotos are an integral concept of the code gen to produce code which can
be compiled efficiently. We could hand-craft it for the purpose at hand,
but I don't see much value in that.