use null terminal for quickcheck to verify stdout output is the issue