more debug instruments