sig
  val iter_from_func :
    (Cil_types.stmt -> unit) -> Cil_types.kernel_function -> unit
  val is_rw_zone :
    Locations.Zone.t option * Locations.Zone.t option ->
    Cil_types.stmt -> Locations.Zone.t option * Locations.Zone.t option
end