On I64 systems, specifies branch registers %B0 through %B7, as follows: Register Symbol Definition %B0 Branch register 0; return pointer %B1 . . . %B7 Branch registers 1 to 7