elements hdr num_elements tag

num_elements int vector_type::num_elements