acq(lock);
external.inc();
rel(lock);