indexmanager components are indexmanager.cache, indexmanager.index_table_p
indexmanager specification is in indexmanager.ads
indexmanager body          is in indexmanager.adb
indexmanager.cache specification is in indexmanager-cache.ads
indexmanager.cache body          is in indexmanager-cache.shb
indexmanager.index_table_p specification is in indexmanager-index_table_p.ads
indexmanager.index_table_p body          is in indexmanager-index_table_p.adb
