def pushpop_parameters(): global parameters gc_barrier() prev = parameters.copy() yield parameters.copy() parameters.assign(prev)