3.9.3 Initialization

See section 3.5.3.