membarrier(0x10, 0x0)
membarrier(0x8, 0x0)