more work on restart state tester