Settle: sweep a Pot to one recipient

import { IERC20 } from "./artifacts/IERC20.json";

function main(tokens: Address[], minOut: Uint256, recipient: Address): Uint256 {
  const floorToken = IERC20.at(tokens[0]);
  const floorBal: Uint256 = floorToken.balanceOf(ctx.self());
  if (minOut > 0) {
    if (floorBal < minOut) {
      throw "settle: balance below minOut";
    }
  }
  for (let i = 0; i < tokens.length; i = i + 1) {
    const t = IERC20.at(tokens[i]);
    const bal: Uint256 = t.balanceOf(ctx.self());
    if (bal > 0) {
      t.transfer(recipient, bal);
    }
  }
  return floorBal;
}

const SETTLE_MIN_OUT = 0n;
const SETTLE_SPL_COUNT = 0n;

function main(tokenProgram0: Account, tokenProgram1: Account, escrow0: Account<Writable>, mint0: Account, dest0: Account<Writable>, owner: Account<Signer>): Uint256 {
  const floorBal = svm.sload(escrow0, 64, 8).toLe();
  if (SETTLE_MIN_OUT > 0) {
    if (floorBal < SETTLE_MIN_OUT) {
      throw "settle: balance below minOut";
    }
  }

  // escrow 0: read balance then decimals, then TransferChecked the whole balance to this
  // recipient's ATA, via this escrow's token program (tokenProgram0 for the first
  // `SETTLE_SPL_COUNT` escrows, tokenProgram1 for the rest).
  const bal0 = svm.sload(escrow0, 64, 8).toLe();
  const dec0 = svm.sload(mint0, 44, 1).toLe();
  if (bal0 > 0) {
    const tp0 = 0 < SETTLE_SPL_COUNT ? tokenProgram0 : tokenProgram1;
    const tag0 = hex`0c`;                                   // TransferChecked
    const data0 = tag0.concat(bal0.toBytesLe(8)).concat(dec0.toBytesLe(1));
    svm.call(tp0, [escrow0, mint0, dest0, owner], data0);
  }

  return floorBal;
}