debuging prints for auto-tester