dump_all_ctxes() was added