I see! I didn't make the connection that bounding the memory necessarily bounds the number of steps as well. Obvious in hindsight.