adamc@453: fun main wrap =
adamc@453: let
adamc@453: fun edit id =
adamc@453: let
adamc@453: val r = 0
adamc@453: fun save () =
adamc@453: in
adamc@453: wrap (save ())
adamc@453: end
adamc@453: in
adamc@453: edit 0
adamc@453: end
adamc@453:
adamc@453: fun wrap (inside : xbody) = return
adamc@453:
adamc@453: val main () = main wrap