+ static char *ascmonths[12] = { NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL } ;
+
+ if (ascmonths[0] == NULL) {
+ ascmonths[0] = _("Jan");
+ ascmonths[1] = _("Feb");
+ ascmonths[2] = _("Mar");
+ ascmonths[3] = _("Apr");
+ ascmonths[4] = _("May");
+ ascmonths[5] = _("Jun");
+ ascmonths[6] = _("Jul");
+ ascmonths[7] = _("Aug");
+ ascmonths[8] = _("Sep");
+ ascmonths[9] = _("Oct");
+ ascmonths[10] = _("Nov");
+ ascmonths[11] = _("Dec");
+ };