specification for FizzBuzz