
  TYPE
    amt$pack_block_header = record
      header_type: amt$block_header_type,
      block_length: amt$max_block_length,
      block_number: amt$block_number,
      unused_bit_count: amt$unused_bit_count,
    recend;

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