ThumbNew POINTER TO ARRAY [0 [...] ThumbPeerNew POINTER TO ARRAY [0

PreElements POINTER TO ARRAY [0..0 [...] PostElements POINTER TO ARRAY [0..0

POINTER TO Trajectory pjerkbounds POINTER TO Trj

pjerkbounds POINTER TO Trj_JerkBounds pPath POINTER TO

D POINTER TO ARRAY [0..0 [...] DTraces POINTER TO ARRAY [0..0

DataSize POINTER TO UINT IN [...] Data POINTER TO BYTE IN [...] to read from or to

value X Input X DWORD [...] Number of the bit to

TransactionId DWORD The ID of the [...] instance allows to store

to the profile [...] variable Function to be executed ID DWORD

VariableInformation POINTER TO Variable [...] Accessor REFERENCE TO SymbolicVarNodeAccessor