What did we decide in the end about the GIL? If C extensions always hold the GIL, and there is no preemptive revocation of the GIL, why do we need to synchronise this increment? In what circumstances could the load and store be interleaved with any other operation?