;; RUN: wasm-opt %s --fuzz-exec-before -q -o /dev/null 2>&1 | filecheck %s
;; Execute an import that is immediately exported. We should not error here, but
;; no other output is expected (as the import does nothing and is ignored).
(module
(import "spectest" "nothing" (func $import))
(export "__wasm_call_ctors" (func $import))
)
;; Note this file does not use automatic updating as that only works for
;; defined functions at the moment, and this module has none of those.
;; CHECK: [fuzz-exec] calling __wasm_call_ctors