Sample code for testing quick check tests