fun Rx(i0, var Q : ushort queue) {	 
    val ii = i0?ext(32);
    if(ii == 0) return 0?ext(64);
    else if(ii < 8) {
	Q?push_back(ii?cvt(ushort));
	return global_registers[ii-1];
    } else {
	val win = (CWP?cvt(ulong) - (ii / 16) + 8 ) % 8 ;
	ii = ii & 0xf?ext(32);
	Q?push_back((16*win+ii?cvt(ulong)+8)?cvt(ushort));
	return register_windows[win][ii];
    }
}