private package Power_14.Source_B_14
  with SPARK_Mode,
       Abstract_State => (State with Part_Of => Power_14.State),
       Initializes    => State
is
   procedure Read (Level : out Integer)
     with Global  => State,
          Depends => (Level => State);
end Power_14.Source_B_14;
