También hay algo de código C para manejar la depuración.