main:     PUSHIMM 0     // space for program rv 
          PUSHIMM 0     // space for val
          PUSHIMM 6     // value to store in val
          STOREOFF 1    // val <- 6
          PUSHIMM 0     // space for check’s rv
          PUSHOFF 1     // param to check
          LINK          // save and update FBR
          JSR check     // call check
          UNLINK        // done with check; pop FBR
          ADDSP -1      // get rid of local param
          JUMP mainEnd  // prepare to end program
mainEnd:  STOREOFF 0    // store rv
          ADDSP -1      // get rid of local var
          STOP          // end program
check:    ADDSP 1       // allocate flag
          PUSHOFF -1    // push val
          PUSHIMM 5     // push 5
	    GREATER       // Is Vbot > Vtop (val>5)?
	    JUMPC correct // true?
          PUSHIMM 20    // false, push 20
          STOREOFF 2    // flag = 20
          JUMP continue // continue with program
correct:  PUSHIMM 10    // true, push 10
          STOREOFF 2    // flag = 10
          JUMP continue // continue 
continue: PUSHOFF 2     // push the value of flag
          JUMP checkEnd // begin to end add
checkEnd: STOREOFF -2   // store flag as rv
          ADDSP -1      // ditch flag
          RST           // return to main