using smallcheck 1.0.1