// GREATERTHANOREQUAL [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount (receiveAmount >= 0)]
// VERIFY [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount]
// FROMALTSTACK [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount <position>]
-// DUP [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount <position> <position>]
-// TOALTSTACK [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount <position>]
+// DUP [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount <position> <position>]
+// TOALTSTACK [... sellerKey standardProgram sellerProgram requestedAsset actualAmount receiveAmount <position>]
// SWAP [... sellerKey standardProgram sellerProgram requestedAsset actualAmount <position> receiveAmount]
// 3 [... sellerKey standardProgram sellerProgram requestedAsset actualAmount <position> receiveAmount 3]
// ROLL [... sellerKey standardProgram sellerProgram actualAmount <position> receiveAmount requestedAsset]
// ROLL [... sellerKey standardProgram actualAmount <position> receiveAmount requestedAsset 1 sellerProgram]
// CHECKOUTPUT [... sellerKey standardProgram actualAmount checkOutput(receiveAmount, requestedAsset, sellerProgram)]
// VERIFY [... sellerKey standardProgram actualAmount]
-// FROMALTSTACK [... sellerKey standardProgram actualAmount <position>]
+// FROMALTSTACK [... sellerKey standardProgram actualAmount <position>]
// 1 [... sellerKey standardProgram actualAmount <position> 1]
// ADD [... sellerKey standardProgram actualAmount (<position> + 1)]
// AMOUNT [... sellerKey standardProgram actualAmount (<position> + 1) valueAmount]