package Input_Port_05
  --# own in Input_State;
is
   procedure Read_From_Port(Input_Value : out Integer);
   --# global in Input_State;
   --# derives Input_Value from Input_State;

end Input_Port_05;
