Locs
type state
val create : unit -> state
To call when the source buffer is about to be discarded
val clear : state -> unit
Frama-C