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