3.3.3 Initialization

Initialization is specified in section 3.1.3.