*) CTUDInst ( CU := VarBOOL1 , CD := VarBOOL2 , RESET := VarBOOL

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i

Commit BOOL Output xDone BOOL xBusy BOOL xError BOOL xAborted BOOL i