adam@1294: fun main n =
adam@1294:   case n of
adam@1294:       0 => error <xml>Zero is bad!</xml>
adam@1294:     | _ => return <xml/>