| # 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 |