debugging small programs