use checked tests so that init is redone every time