Programa IncDec Compilado para um Monoprocessador

Adotamos a semântica não determinística. Mas será que o programa vai mesmo imprimir 70 ou 43?

Consideremos o seguinte programa, resultado de uma compilação tradicional de IncDec (vamos omitir o código correspondente à criação dos processos)

n =  4;
cobegin

   LDA n; ADD 3; STA n;

||

   LDA n; MULT 10; STA n;

}
coend;
printf(n);