fun R8(i0,vv) {		 
    val ii = i0?ext(32);
    Rx(ii, vv >> 32);
    Rx(ii+1, vv & 0xffffffff?ext(64));
}