I am writing a type transformation script for our implementation of a map class. I got two questions which may not be stated in the documentations.

1. For the map_head_addressing_callback, only the address of the header of the map will be returned. However, how does totalview know the address of the first element of the map? In most standard library implementations, the left child of the header is the first element. Is this an assumption in totalview?

2. How does totalview identify the end of the map? It seems it does not use the information returned by the map_element_count_addressing_callback.