Symbol: TXN_OPENFILES