In this code, is the while (*lock != 0) the first test, and the second test is in the test_and_set expression in the if statement?