https://jml.io/posts/tests-that-print-stuff/