Explain union safety in MicroLock comment