Next: Aspect Inline_Always, Previous: Aspect Initial_Condition, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Initializes.