let get_context = function
  | None -> s.current
  | Some(n) -> context_of n