latch variable. InOut: Scope Name Type [...] variable. Output by

InOut: Name Type [...] InstancePath POINTER TO BYTE name of variable tc Type

Out: Name Comment MIN_VARIABLE [...] variable MAX_VARIABLE [...] variable

variable. InOut: Scope Name Type Comment

Out: Name Comment UPD_VARIABLE Update variable AUTOUPD_VARIABLE

StructTraceTemporaryStorageInfo variables InOut: Scope Name Type Comment [...] of every variable

StructTraceTemporaryStorageInfo variables InOut: Scope Name Type Comment [...] of every variable

of the variable. InOut: Name [...] variable of this union [...] of the variable. Get your typed

of variable X to B InOut: Scope Name Type [...] .AnyType Variable to be modified

SymbolicVarsBase.Variable [...] InfoCollectsToplevelAddressInfo InOut: Scope Name [...] Variable