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