cider-tracing mode.