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