object
  method display_globals : Cil_types.global list -> unit
  method scroll : Pretty_source.localizable -> unit
  method select_or_display_global : Cil_types.global -> unit
  method view_original : Cil_types.location -> unit
  method view_original_stmt : Cil_types.stmt -> Cil_types.location
  method view_stmt : Cil_types.stmt -> unit
end