Module Tezos_webassembly_interpreter.Proto_compatSource