dbg.ctxinfo prints number of different contexts