more printing for checker 3 when using -debug