add get_index_keys/4