fun R8(i0) {		 
    val ii = i0?ext(32);
    val xx = (Rx(ii) & 0xffffffff?ext(64)) << 32;
    return xx | (Rx(ii+1) & 0xffffffff?ext(64));
}