5 uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564";
9 /* Architecture with 32-bit pointers, 32-bit integers, 32-bit longs */
11 typealias integer { size = 1; align = 1; signed = false; } : uint1_t;
12 typealias integer { size = 63; align = 1; signed = false; } : timestamp_t;
14 typealias integer { size = 32; align = 32; signed = false; } : uint32_t;
15 typealias integer { size = 32; align = 32; signed = false; } : void *;
19 event.header := struct {
21 timestamp_t timestamp;
23 event.context := struct {