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

function test () = {
  exit(());
  6
}