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