sig
  val declare_markers : GSourceView.source_view -> unit
  val mark :
    GSourceView.source_buffer ->
    ?call_site:Cil_types.stmt ->
    offset:int -> Property_status.Feedback.t -> unit
end