- event {
- header_alignment = value;
- /* Type 1 - Few event IDs; Type 2 - Many event IDs. See section 6.2. */
- header = event_header_1 OR event_header_2;
- context = struct {
- ...
- };
+ /* Type 1 - Few event IDs; Type 2 - Many event IDs. See section 6.2. */
+ event.header = event_header_1 OR event_header_2;
+ event.context = struct {
+ ...