-record(contract, {functions :: list(glethers@contract:function_())}).