The argument of `push_cleanup` should be a const reference