Debugging device.c