/* Architecture with 32-bit pointers, 32-bit integers, 32-bit longs */
-typealias integer { size = 32; align = 32; signedness = false; } : uint32_t;
-typealias integer { size = 64; align = 64; signedness = false; } : uint64_t;
-typealias integer { size = 32; align = 32; signedness = false; } : void *;
+typealias integer { size = 32; align = 32; signed = false; } : uint32_t;
+typealias integer { size = 64; align = 64; signed = false; } : uint64_t;
+typealias integer { size = 32; align = 32; signed = false; } : void *;
stream {
id = 0;
/* Architecture with 32-bit pointers, 32-bit integers, 32-bit longs */
-typealias integer { size = 1; align = 1; signedness = false; } : uint1_t;
-typealias integer { size = 63; align = 1; signedness = false; } : timestamp_t;
+typealias integer { size = 1; align = 1; signed = false; } : uint1_t;
+typealias integer { size = 63; align = 1; signed = false; } : timestamp_t;
-typealias integer { size = 32; align = 32; signedness = false; } : uint32_t;
-typealias integer { size = 32; align = 32; signedness = false; } : void *;
+typealias integer { size = 32; align = 32; signed = false; } : uint32_t;
+typealias integer { size = 32; align = 32; signed = false; } : void *;
stream {
id = 0;