Workaround for possible compiler issue in debug_print.c switch statement