sig
  val lval_to_loc_with_deps :
    (Cil_types.kinstr ->
     with_alarms:CilE.warn_mode ->
     deps:Locations.Zone.t ->
     Cil_types.lval -> Locations.Zone.t * Locations.location)
    Pervasives.ref
  val expr_to_kernel_function :
    (Cil_types.kinstr ->
     with_alarms:CilE.warn_mode ->
     deps:Locations.Zone.t option ->
     Cil_types.exp -> Locations.Zone.t * Db_types.kernel_function list)
    Pervasives.ref
  val get_state : Cil_types.kinstr -> Db.Value.state
  val access_expr :
    (Cil_types.kinstr -> Cil_types.exp -> Db.Value.t) Pervasives.ref
end