def f(index, key):
return XP.XNullTerminated(self, index, p.tags, args)
'fi': lambda x: XP.XFormattedInput(*x), 'fr': lambda x: XP.XFreed(*x), 'fn': lambda x: XP.XFunctional(*x), 'ga': lambda x: XP.XGlobalAddress(*x), 'ha': lambda x: XP.XHeapAddress(*x), 'i': lambda x: XP.XInitialized(*x), 'ir': lambda x: XP.XInitializedRange(*x), 'iv': lambda x: XP.XInvalidated(*x), 'ifs': lambda x: XP.XInputFormatString(*x), 'nm': lambda x: XP.XNewMemory(*x), 'no': lambda x: XP.XNoOverlap(*x), 'nn': lambda x: XP.XNotNull(*x), 'nng': lambda x: XP.XNonNegative(*x), 'nz': lambda x: XP.XNotZero(*x), 'null': lambda x: XP.XNull(*x), 'nt': lambda x: XP.XNullTerminated(*x), 'ofs': lambda x: XP.XOutputFormatString(*x), 'pr': lambda x: XP.XPreservesMemory(*x), 'pv': lambda x: XP.XPreservesValue(*x), 'prm': lambda x: XP.XPreservesAllMemory(*x), 'prmx': lambda x: XP.XPreservesAllMemoryX(*x), 'prn': lambda x: XP.XPreservesNullTermination(*x), 'prv': lambda x: XP.XPreservesValidity(*x), 'rb': lambda x: XP.XRevBuffer(*x), 'rep': lambda x: XP.XRepositioned(*x), 'sa': lambda x: XP.XStackAddress(*x), 'x': lambda x: XP.XRelationalExpr(*x), 'cf': lambda x: XP.XConfined(*x), 'tt': lambda x: XP.XTainted(*x), 'up': lambda x: XP.XUniquePointer(*x), 'vm': lambda x: XP.XValidMem(*x)