3.2.3 Initialization

Initialization is as specified in section 3.1.3.