(ITS#6117) Segfault in hdb_index_mask