adamc@821: fun main () = adamc@821: case #"A" of adamc@821: #"B" => return adamc@821: | _ => return A!