use DEBUG instead of printf