debug7: more debug stmts