Migrate to test.check.