if 1 >= 1 then 42