fun rmap_fetch() {
destq
?
push_back
(); }