# RUN: yaml2obj %s | not obj2yaml 2>&1 | FileCheck %s
--- !WASM
FileHeader:
  Version:         0x00000001
Sections:
  - Type:            CUSTOM
    Name:            producers
    Languages:
      - Name:        C++
        Version:     C++11
      - Name:        C++
        Version:     C++17
...
# CHECK:  Producers section contains repeated producer