fun rmap_rollback(
inum
) {
destq
?
pop_back
(
destq
?
length
() -
inum
); }