/* TSDL */
typealias integer { size = 32; align = 32; signed = false; } := uint;
typealias integer { size = 32; align = 32; signed = true; } := int;
typedef uint testseq[int];