sig
  type state
  val initial_state : unit -> Initialization.S.state Bottom.Type.or_bottom
  val initial_state_with_formals :
    Cil_types.kernel_function -> Initialization.S.state Bottom.Type.or_bottom
end