Run options: --seed 8243

# Running:

..................

Finished in 0.001497s, 12020.8362 runs/s, 14024.3089 assertions/s.
18 runs, 21 assertions, 0 failures, 0 errors, 0 skips