+ [] FLOAT float encoding=LDOUBLE offset=0 bits=128
[] FLOAT float encoding=LDOUBLE offset=0 bits=32
+ [] FLOAT float encoding=LDOUBLE offset=0 bits=64
[] INTEGER char encoding=SIGNED CHAR offset=0 bits=8
[] INTEGER signed encoding=SIGNED offset=0 bits=32
+ [] INTEGER signed encoding=SIGNED offset=0 bits=64
[] INTEGER void encoding=SIGNED offset=0 bits=0
[] FLOAT float encoding=LDOUBLE offset=0 bits=32
+ [] FLOAT float encoding=LDOUBLE offset=0 bits=64
+ [] FLOAT float encoding=LDOUBLE offset=0 bits=96
[] INTEGER char encoding=SIGNED CHAR offset=0 bits=8
[] INTEGER signed encoding=SIGNED offset=0 bits=32
+ [] INTEGER signed encoding=SIGNED offset=0 bits=64
[] INTEGER void encoding=SIGNED offset=0 bits=0