map_print
map_print(map, top, bv_name(bv));
map_print(map, SIZE_T_MAX, bv_name(bv));
void map_print(struct map *, size_t, const char *);