/* CTF 1.8 */

trace {
	major = 1;
	minor = 8;
	byte_order = le;
};

typealias integer { size = 1; } := uint32_t;