Ordering, Visibility, Atomicity, HB, ME for AtomicInteger