context: more debug printouts