contract Test{
    function test1(address payable addr, uint256 value) payable public {
        addr.transfer(value);
    }
}

PUSH 8FC            addr.transfer(value)
DUP3            value
SWAP1           addr.transfer(value)
DUP2            addr.transfer(value)
ISZERO          addr.transfer(value)
MUL             addr.transfer(value)