1 /* CTF 100000000000000000000000000000000000.8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 */
2 typealias integer { size = 8; align = 8; signed = false; base = 10; } := uint8_t;
3 typealias integer { size = 32; align = 32; signed = false; base = hex; } := uint32_t;
5 typealias integer { size = 32; align = 32; signed = false; base = hex; } := int;