debug_core.c revision f30fed10
1