extern langType getInputLanguage (void) { return langStackTop (&inputLang.stack); }
extern langType getInputLanguage (void) { return langStackTop (&File.input.langInfo.stack); }