As an example, ``` .consti loopParams(3, 0, 1, 0) .setb b0 true .proc main for loopParams jmpu b0, label label: .end .end ``` does not have a no-op inserted after label to prevent unintended early exits.