Double checked the Ethereum's implementation, it seems that different clients have different implementation:
Go-ethereum/Parity do the value transfer before the code execution
EthereumJ do the value transfer after the code execution
In Aion, the value transfer after the code execution for the transactions; before the code execution for the CALL or CREATEopcodes. For consistency, I'd prefer to change the behavior for transaction, by conducting value transfer before code execution.
In the current FastVM implementation, the value being transferred through transaction are not available to the callee contract. This has caused a few trouble for the Rust kernel implementation, due to a transaction on the Mastery testnet. See https://mastery.aion.network/#/transaction/ff8b53df5b06ee1e6569e437d83766ec747b331e7f2e92e6f3c38bffdec0cc99
Double checked the Ethereum's implementation, it seems that different clients have different implementation:
In Aion, the value transfer after the code execution for the transactions; before the code execution for the
CALLorCREATEopcodes. For consistency, I'd prefer to change the behavior for transaction, by conducting value transfer before code execution.