E VAR iState : INT [...] . *) uiWrite : UINT [...] ReadWritten : UINT ; (* The read

is used to convert [...] progress. iVelMode SMC_INT [...] SMC_INT

DirState : UINT := 0 ; s [...] FileStdState : UINT := 0 ; s [...] FileChgState : UINT := 0 ; s

DriveInterfaceError UINT Drive interface [...] Owner INT 0 Parameter [...] _REF_SM3 iNoOwner INT 0

DriveInterfaceError UINT Drive interface [...] Owner INT 0 Parameter [...] _REF_SM3 iNoOwner INT 0

DriveInterfaceError UINT Drive interface [...] Owner INT 0 Parameter [...] _REF_SM3 iNoOwner INT 0

*) uiReceived : UINT [...] *) iState : INT

DriveInterfaceError UINT Drive interface [...] Owner INT 0 Parameter [...] _REF_SM3 iNoOwner INT 0

DriveInterfaceError UINT Drive interface [...] Owner INT 0 Parameter [...] _REF_SM3 iNoOwner INT 0

DriveInterfaceError UINT Drive interface [...] Owner INT 0 Parameter [...] _REF_SM3 iNoOwner INT 0