local0 = (x <= 42)
goto block3
block3: return local0
