all tracing output must go to stderr (instead of stdout)