Debugging 1.2