DESC

; Example of a pair of programs which trivially do not
; have a race condition, because they do not share memory.
;
;

PROG 0
MOV M0, R0
INC R0
MOV R0, M0

PROG 1
MOV M1, R0
INC R0
MOV R0, M1