embedded systems debugging code example in lecture