fun rmap_write(outnum, value, inum) { destq[+inum][outnum] = value?cast(unsigned[_])?cvt(unsigned[64]); }