dimensions:
     month = 12;
     abbrev_len = 3;
  variables:
     month(month, abbrev_len);
  data:
     month="jan", "feb", "mar", ..., "dec";