Symbol: TXN_REGION_SIZE