  TYPE
    nat$bcd_time = packed record
      date: packed record
        year1: nat$bcd_digit,
        year2: nat$bcd_digit,
        month1: nat$bcd_digit,
        month2: nat$bcd_digit,
        day1: nat$bcd_digit,
        day2: nat$bcd_digit,
      recend,
      time: packed record
        hours1: nat$bcd_digit,
        hours2: nat$bcd_digit,
        minutes1: nat$bcd_digit,
        minutes2: nat$bcd_digit,
        seconds1: nat$bcd_digit,
        seconds2: nat$bcd_digit,
        milliseconds1: nat$bcd_digit,
        milliseconds2: nat$bcd_digit,
        milliseconds3: nat$bcd_digit,
        fill: nat$bcd_digit,
      recend,
    recend;

  TYPE
    nat$bcd_digit = 0 .. 9;

