Smart Contract Execution Logic Behind Flash Loan Systems