testAssert = 1 Final state: