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