3 (* generated by genposix.sh, do not modify *)
10 unsigned_char
* = BYTE;
12 short_int
* = SHORTINT;
13 signed_short
* = SHORTINT;
14 signed_short_int
* = SHORTINT;
15 unsigned_short
* = SHORTINT;
16 unsigned_short_int
* = SHORTINT;
19 signed_int
* = INTEGER;
21 unsigned_int
* = INTEGER;
24 signed_long
* = INTEGER;
25 signed_long_int
* = INTEGER;
26 unsigned_long
* = INTEGER;
27 unsigned_long_int
* = INTEGER;
29 long_long_int
* = LONGINT;
30 signed_long_long
* = LONGINT;
31 signed_long_long_int
* = LONGINT;
32 unsigned_long_long
* = RECORD [noalign
] _
: ARRAY [untagged
] 8 OF BYTE END;
33 unsigned_long_long_int
* = RECORD [noalign
] _
: ARRAY [untagged
] 8 OF BYTE END;
36 long_double
* = RECORD [noalign
] _
: ARRAY [untagged
] 16 OF BYTE END;