adam@1695: fun test () = adam@1695: k <- source ; adam@1695: return