3.2.3 Initialization

See section 3.1.3.