val test : unit -> atom(6) effect {escape}

function test () = exit(())