. . . "M re-enters the monitor, finds that b is a member, and exits the monitor." .