Short answer: yes. Currently it's a goose chase to follow the conversion of
the key. There are 3 routines: key2ij, a2idx, and key2bounds. The other
routines are going to be testing the indices so I'm just trying to not
duplicate the testing here at the upper level.