Learning to debug in C