module Protobuf : sig ... end