Fix thread-safety issue in debug.c
3 files changed