+++ /dev/null
-/* 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;
- };
-};