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