pushdown variations