Description

Restores the variables previously saved by mk_push_vars. This function must be called precisely once near the end of any function that uses mk_push_vars, and you must ensure that it is reached in all code paths.