Debugging C Code on Nerves