DEBUG_OUTPUT write to stdout