extend DEBUG() printfs