Complete this C comment: /* This lock protects