Expand description
MIPS general-purpose register indices, by their ABI names.
Lives here rather than beside any one caller so the numbering is stated once:
a second private copy elsewhere is how $t3 and $t4 eventually swap in one
of them. Only the names currently needed are defined — this is a shared
vocabulary, not an exhaustive table for its own sake.