debugging: testing the def