adamc@984: fun main () = return adamc@984:

adamc@984:
adamc@984: