I'm not convinced that this is something that we would need to debug. In any case, stdout is the wrong place to log this.