pub fn cmd_ctx(ctx: &EvalCtx)
:ctx — show the staging context’s counters: tower level, fresh variable counter, pending ANF block depth, and memoised closure count.
:ctx