l1: if 1 = 2 then go to l1