add more extensive state debugging