--- /dev/null
+/* CTF 1.8 */
+
+typealias integer { size = 32; align = 8; signed = false; } := uint32_t;
+typealias integer { size = 8; align = 8; signed = false; } := uint8_t;
+
+/* FAIL: out of range */
+enum dummy : uint8_t {
+ x = 1024
+};
+trace {
+ major = 2;
+ minor = 1;
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ };
+};
+
+