https://priopt.blogspot.com/2022/08/kotlin-property-based-testing.html