Trivial Fizzbuzz for me to play with generative testing libraries