fun F4(ii,vv) {
    destQ?push_back(ii?cvt(ushort) + 256?cvt(ushort));
    fregs[ii] = vv?cast(unsigned[_])?cvt(ulong);
}