sig
  type state
  val initial_state :
    lib_entry:bool -> Initialization.S.state Bottom.Type.or_bottom
  val initial_state_with_formals :
    lib_entry:bool ->
    Cil_types.kernel_function -> Initialization.S.state Bottom.Type.or_bottom
  val initialize_local_variable :
    Cil_types.stmt ->
    Cil_types.varinfo ->
    Cil_types.init ->
    Initialization.S.state -> Initialization.S.state Bottom.Type.or_bottom
end