let stackpp () =
  Stack.iter (fun (s, _) -> Context.pp Format.std_formatter s) stack