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