.label check1 0x00
.label check2 0x07
.label grantA1 0x107
.label grantB1 0x100
.label grantA2 0x105
.label grantA3 0x05
.label grantB2 0x110
.label grantB3 0x10
.label def 0x140

.default goto def

check1        N=SP; if (N) goto grantA1; else goto check2  
check2       N=LV; if (N) goto grantB1; else goto check1  
grantA1      SP = SP+1        
grantA2     N=SP; if (N) goto grantA2; else goto grantA3
grantA3     SP=SP-1; goto check2
grantB1     LV = LV+1
grantB2     N=LV; if (N) goto grantB2; else goto grantB3
grantB3     LV=LV-1; goto check1