OpenXNU to debug.c