fun i8_src(ii) { return ((rmap_read(inst.srcq[+ii],inum)<<32) | (rmap_read(inst.srcq[+(ii+1)],inum)&0xffffffff?ext(64))); }