
  TYPE
    amt$block_status = (amc$no_error, amc$unrecovered_error);

