if 0 then 0 else 0