6 constant int LC_COLLATE;
8 constant int LC_NUMERIC;
10 constant int LC_MONETARY;
12 /* lcl can't handle just struct lconv... */
13 typedef struct lconv {
17 char *int_curr_symbol ;
18 char *currency_symbol ;
19 char *mon_decimal_point ;
20 char *mon_thousands_sep ;
24 char int_frac_digits ;
34 struct lconv *localeconv(void) { ensures true; }
36 char *etlocale(int __category, char *__locale ) { ensures true; }