/* CTF 1.8 */ typealias integer { size = 32; align = 8; signed = false; } := uint32_t; /* FAIL: encoding as a string. */ typealias integer { size = 8; align = 8; signed = false; encoding = "ascii"; } := uint8_t; trace { major = 2; minor = 1; byte_order = le; packet.header := struct { uint32_t magic; }; };