debugging utilities

.