MOVS P(n) AD_P(X_A,1000)MOVS P(n) AD_P(X_A,1000) AD_P(Z_A,-1000)JUMP P(n) AD_P(P(m))
MOVS P(5) AD_P(X_A,1000) =>MOVS X(5)+1000 Y(5) U(5) Z(5)MOVS P(6) AD_P(X_A,1000) AD_P(Z_A,-1000) =>MOVS X(6)+1000 Y(6) U(6) Z(6)-1000