4.1 Annotated Initialization Sequence

The following is an annotated dump of an initialization sequence, as described in section 1.3.1.