debugged example