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