3 (* generated by genposix.sh, do not modify *)
10 short_int
* = SHORTINT;
11 signed_short
* = SHORTINT;
12 signed_short_int
* = SHORTINT;
13 unsigned_short
* = SHORTINT;
14 unsigned_short_int
* = SHORTINT;
17 signed_int
* = INTEGER;
19 unsigned_int
* = INTEGER;
22 signed_long
* = INTEGER;
23 signed_long_int
* = INTEGER;
24 unsigned_long
* = INTEGER;
25 unsigned_long_int
* = INTEGER;
27 long_long_int
* = LONGINT;
28 signed_long_long
* = LONGINT;
29 signed_long_long_int
* = LONGINT;
30 unsigned_long_long
* = LONGINT;
31 unsigned_long_long_int
* = LONGINT;
34 long_double
* = RECORD [noalign
] _
: ARRAY [untagged
] 12 OF BYTE END;