Fix contness of debug_print_buf()
4 files changed