$,$ short $a=$ most significant $16$ bits of $x7$

short $b=$ least significant $16$ bits of $x6$

$\{x1,x2\}=\{a,x5,b\}$

$\backslash$table$[[$Registers$,$Variables$],[$$$s0,y$