desugging/tcing progress, maybe.