#reverse pushdown