fun test () = k <- source ; return