hashbasedoutputstream An étude (i.e., study) to practice Property-Based Testing, in Java, using JUnit 5 + jqwik