fun R4(ii,vv) { Rx(ii, vv?sext(64)); }