YEAR: 2021 COPYRIGHT HOLDER: quickcheck authors