let forget () =
  s.current <- Context.empty