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