always use labels in multiple blocks; emit no more one-time loops but rather labeled ifs
eliminate into labels