acq(lock);
a.x = 4;
System.out.println(a.x);
rel(lock);