adam@2075: fun handler r = return adam@2075: adam@2075: adam@2075: fun main () = adam@2075: return adam@2075:
adam@2075: adam@2075: adam@2075: adam@2075: adam@2075: adam@2075: