r reads from) in gmo, and r.pair in x.^gmo // and r in program order (the "predecessor set") appear earlier in free slots during C block save. # Leaving here for clarity. # Bump input pointer vcpop.m a5, v0