adamc@1023: val selectChar : list (char * string) -> option char -> xml select [] []