typealias integer { size = 8; align = 8; signed = false; } := uint8_t;
typealias integer { size = 63; align = 1; signed = false; } := timestamp_t;
typealias integer { size = 8; align = 8; signed = false; } := uint8_t;
typealias integer { size = 63; align = 1; signed = false; } := timestamp_t;