@darrylyeo
Solidity vs Verity.
Right away, I notice `msgSender` and `msgValue` always have their values captured by local variables, there is an explicit `requireSomeUint` check, and the function that isn't part of this contract is declared with `external` and called with `externalCall`.