I think this might be a valid deadlock example