Improve stack discipline, using known, top-relative indices