I don't think the scenario we've encountered is the only possible one, given the multitude of execution paths in this file, its recursive nature, and the fact that there are 4 explicit locks + ...