an example of test.check and expectations integration - View it on GitHub