Nel caso in cui OPC>=0 il codice mic-1 e' il seguente: 

      H=TOS; 
      SP=0; 
      Z=TOS; if(Z) goto L1 else L2; 
L2: 
       Z=OPC ; if(Z) goto L1 else L3: 
L3: 
       OPC=OPC-1; 
       SP=SP+H; 
       Z=OPC; if(Z) goto L1 else L3; 
L1: 
  
  

Nel caso in cui non ci siano vincoli su OPC 

      H=TOS; 
      SP=0; 
      Z=TOS; if(Z) goto FINE2 else L2; 
L2: 
       Z=OPC ; if(Z) goto FINE2 else L3: 
L3: 
      N=OPC; if(N) goto  L4 else L5; 
L4: 
     OPC=OPC+1; 
     SP=SP+H; 
     Z=OPC; if (Z) goto FINE1 else L4; 

L5: 
     OPC=OPC-1; 
     SP=SP+H; 
     Z=OPC; if(Z) goto FINE2 else L5; 

FINE1: 
           SP= - SP; 

FINE2: