Debugged examples.