IF TO_INT ( udi [...] Code, BOOL xDoChallenge) : [...] DoChallenge : BOOL ; udi
_OUTPUT xComplete : BOOL ; iErrorID : INT [...] WatchdogEnabled : BOOL ; udi
CompareAndSwap : BOOL VAR [...] TestAndSet : BOOL VAR [...] _OUTPUT xError : BOOL ; x