Debugging: does another example work?