
  TYPE
    bat$tape_validation_state = (bac$no_tape_validation,
          bac$tape_validation_on, bac$tape_validation_off);

