Workaround for possible compiler issue in debug_print.c switch statement. The switch statement was hitting default case when it shouldn’t have been. Possible clang issue.