typealias integer { size = 63; align = 1; signed = false; } := timestamp_t;
typealias integer { size = 32; align = 32; signed = false; base = 10; } := uint32_t;
-typealias integer { size = 32; align = 32; signed = false; base = hex; } := void *;
+typealias integer { size = 32; align = 32; signed = false; } := void *;
trace {