spec bugfix: eliminate the modulo requirement for constant heap indexing