Startling name of chapter in "Introduction to SPARK": "Initialization of Local Variables"

[mgrojo]

The chapter explains the Initializes aspect, which, as I understand, marks the initialization of package state implemented as global variables, not local.

https://learn.adacore.com/courses/intro-to-spark/chapters/04_State_Abstraction.html#initialization-of-local-variables