All exception definitions are moved to ctype.ml. Unreachable exception
no longer exists. Use `failwith "message"' instead.