Empty FunC smart contract.