checkpoint: 282 run, 274 passes, 0 expected defects, 6 failures, 2 errors, 0 unexpected passes
checkpoint: 282 run, 280 passes, 0 expected defects, 1 failures, 1 errors, 0 unexpected passes