temporarily turning on yet more debugging injection to stdout