an example of simple-check and expectations integration