if 0 then 2 else 3