only if) md

, violation of order (if

only if) md

Register := FALSE ; END_IF [...] UnRegister := FALSE ; END_IF

statement like {IF [...] Barrier.MemoryBarrier(); {END_IF}. Contents

of this operation (if successfull

if (and only if) itf

if (and only if) itf

) CheckIf

given message (if