Update to 03-debugging code