MRS[] Rd, psr \ Rd := psr MSR[] psr, Rd \ psr := Rd MSR[] psrf, Rd \ psrf := Rd MSR[] psrf, # \ psrf :=