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