Simple example with scala check at Spa2013