mark printf as DEBUG