declaration *) VarSTRING1 : [...] is 'SUS' *) Var [...] (255) Resulting string Input

declaration *) VarSTRING1 : [...] is 'USI' *) Var [...] string Input STR

SprintfW INT Input wst [...] the formatstring pVarAdr POINTER [...] be printed udiVar

Type Input p [...] Accessor REFERENCE TO SymbolicVarNodeAccessor

Input var

Input var

Size2_internal __XWORD Input var

NativeSize2 XWORD Input var

NativeSize2 XWORD Input var

BufferSize BOOL Input wBufferSize WORD wVarSize WORD