# RUN: yaml2obj < %s | not obj2yaml 2>&1 | FileCheck %s

--- !WASM
FileHeader:
  Version:         0x00000001
Sections:
  - Type:            EXPORT
    Exports:
      - Name:            invalid_function_index
        Kind:            FUNCTION
        Index:           0x00000001

# CHECK: Error reading file: <stdin>: Invalid function export