fun dest(outnum,value) { rmap_write(outnum,value,inum); }