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