tsan: deobfuscate global ctx variable