
        show more highstate output for debugging

5b5be5b