3.2.3 Initialization

Initialization is specified in section 3.1.3.