--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
+
+trace {
+ major = 0;
+ minor = 1;
+ uuid = "\0a6422d0-6cee-11e0-8c08-cb07d7b3a564"; // yes, it's a NUL char in front!
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ uint8_t uuid[16];
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
+
+trace {
+ major = 0;
+ minor = 1;
+ uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a5642a6422d0-6cee-11e0-8c08-cb07d7b3a564";
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ uint8_t uuid[16];
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
+
+trace {
+ major = 0;
+ minor = 1;
+ uuid = "";
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ uint8_t uuid[16];
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
+
+trace {
+ major = 0x; /// This is strange [must fail].
+ minor = 1;
+ uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564";
+ byte_order = le;
+ packet.header := struct {
+ uint32_t magic;
+ uint8_t uuid[16];
+ };
+};
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
+
+trace {
--- /dev/null
+/* CTF 1.8 */
+typealias
\ No newline at end of file
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size =
\ No newline at end of file
--- /dev/null
+/* CTF 1.8 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
+
+trace {
+ major = 0;
+ minor = 1;
+ uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564;
\ No newline at end of file
--- /dev/null
+/* CTF 100000000000000000000000000000000000.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;
--- /dev/null
+/* CTF 1 */
+typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
+
+typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;