
  TYPE
    amt$unpack_block_header = record
      header_type: amt$block_header_type,
      block_length_as_read: amt$max_block_length,
      block_length_as_written: amt$max_block_length,
      block_number: amt$block_number,
      unused_bit_count: amt$unused_bit_count,
      block_status: amt$block_status,
    recend;

*copyc amt$block_header_type
*copyc amt$block_number
*copyc amt$block_status
*copyc amt$max_block_length
*copyc amt$unused_bit_count
