The assignment "OperIPV = AdminIPV" shall occur at the state INIT in
Fig. 8-17.

An option to implement could be to introduce a new procedure called
Initialize() to cover the ST- and PSFP-specific actions, as following:

1- In Fig. 8-17, state INIT replace action
"OperGateStates = AdminGateStates" by "Initialize()".

2- Add Section "8.6.9.2.3 Initialize()" at the end of Sect. 8.6.2.2
with the following text:"This procedure assigns AdminGateStates to
OperGateStates."

3- In Sect. 8.6.10, add "Initialize() procedure" to the list of
exceptions in the third paragraph as appropriate.

4- In Table 8-8 add one row with:
- "Initialize()" in column "Procedure/variable name in 8.6.9, and
- "PSFPInitialize()" in column "PSFP procedure/variable name".

5- Add Section "8.6.10.2 PSFPInitialization()", after Sect. 8.6.10.1
(renumbering as appropriate) with the following text:
"This procedure assigns,
a) PSFPAdminGateStates to PSFPOperGateStates, and
b) AdminIPV to OperIPV.
NOTE: variable IntervalOctetsLeft does not require explicit
initialization during execution of state INIT (see Fig. 8-17), as its
value is only effective if a gate control-list is currently executed;
this is because it relates to a certain TimeInterval which only exists
during execution (compare List Execute state machine (Fig. 8-17),
states EXECUTE_CYCLE and procedure ExecutePSFPOperation
(Sect. 8.6.10.1)."