def fn(): n = llop.same_as(lltype.Signed, 66) if n == 1: return 5 elif n == 2: return 6 elif n == 3: return 8 elif n == 4: return -123 elif n == 5: return 12973 else: return n
def f(): if NonConstant(False): x = llop.same_as(lltype.Signed, 666) return 42