-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 *;
+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 *;