Oui, on ne peut guère faire mieux à la main (sans transformation de programme avancée): pour chacun des registres ra et s0, il n'y a qu'une seule sauvegarde et restauration en pile qui est inévitable.