extern void lang_initialize(void); extern int lang_sep000(void); extern const char *lang_fmt_date(void); extern int lang_clock24(void);