3.4.3 Initialization

See section 3.2.3.