Así, cuando el código deja la sección crítica, se despeja la bandera.