.code push lab1 push lab0 jump lab0: jumpdest jump lab1: jumpdest