var structint__map__hdr =
[
    [ "int_map_sz", "d7/d7b/structint__map__hdr.html#a48e6d6749b90cc1898c9455f93c06cba", null ],
    [ "rblock_sz", "d7/d7b/structint__map__hdr.html#a665657596076c0c93eae3e17af665d6c", null ],
    [ "root_node", "d7/d7b/structint__map__hdr.html#a02a7fab931b160f824db668c9bec9044", null ]
];