12 static void D (const char *s
, int sz
, int set
, int export
)
16 res
= printf("%s%s", TABS
, s
);
22 res
= printf("SHORTCHAR");
24 res
= printf("SHORTINT");
29 res
= printf("INTEGER");
33 res
= printf("ARRAY [untagged] 2 OF SET");
35 res
= printf("LONGINT");
38 res
= printf("ARRAY [untagged] ");
41 res
= printf("%d OF SET", sz
/ 4);
43 res
= printf("%d OF INTEGER", sz
/ 4);
46 res
= printf("%d OF SHORTCHAR", sz
);
54 D("int", sizeof(int), FALSE
, TRUE
);
55 D("wchar_t", sizeof(wchar_t), FALSE
, TRUE
);
56 D("wint_t", sizeof(wint_t), FALSE
, TRUE
);
57 D("size_t", sizeof(size_t), FALSE
, TRUE
);
58 D("mbstate_t", sizeof(mbstate_t), FALSE
, TRUE
);