vstring
(void) vstring("es", ES);
(void) vstring("fo", FO);
(void) vstring("pr", PR);
(void) vstring("rc", RC);
extern int vstring(char *, char *);