adam@1731: fun main n = adam@1731: case n of adam@1731: 0 => error Zero is bad! adam@1731: | _ => return