/* CTF 1.8 */ typealias integer { size = 32; align = 8; signed = false; } := uint32_t; /* FAIL: size = 0 */ typealias integer { size = 0; align = 8; signed = false; } := uint0_t; trace { major = 2; minor = 1; byte_order = le; packet.header := struct { uint32_t magic; }; };