$ /opt/lucet/bin/lucetc-wasi -o hello.so hello.wasm
$ /opt/lucet/bin/lucet-wasi hello.so
thread 'main' panicked at 'module can be loaded: ModuleError(IncorrectModule("error loading required symbol `lucet_module_data`: /home/zhuowei/swift-source/build/Ninja-RelWithDebInfoAssert/swift-linux-x86_64/bin/hello.so: undefined symbol: lucet_module_data"))', src/libcore/result.rs:997:5
note: Run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
hello.so: file format elf64-x86-64
hello.so
architecture: i386:x86-64, flags 0x00000150:
HAS_SYMS, DYNAMIC, D_PAGED
start address 0x00000000003d58b0
Program Header:
LOAD off 0x0000000000000000 vaddr 0x0000000000000000 paddr 0x0000000000000000 align 2**21
filesz 0x00000000010a9968 memsz 0x00000000010a9968 flags r-x
LOAD off 0x00000000010a9f40 vaddr 0x00000000012a9f40 paddr 0x00000000012a9f40 align 2**21
filesz 0x00000000000000c0 memsz 0x00000000000000c0 flags rw-
DYNAMIC off 0x00000000010a9f40 vaddr 0x00000000012a9f40 paddr 0x00000000012a9f40 align 2**3
filesz 0x00000000000000c0 memsz 0x00000000000000c0 flags rw-
RELRO off 0x00000000010a9f40 vaddr 0x00000000012a9f40 paddr 0x00000000012a9f40 align 2**0
filesz 0x00000000000000c0 memsz 0x00000000000000c0 flags r--
Dynamic Section:
HASH 0x0000000000000120
GNU_HASH 0x000000000002c1e8
STRTAB 0x0000000000108420
SYMTAB 0x0000000000060240
STRSZ 0x00000000002cd482
SYMENT 0x0000000000000018
Sections:
Idx Name Size VMA LMA File off Algn
0 .hash 0002c0c4 0000000000000120 0000000000000120 00000120 2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
1 .gnu.hash 00034054 000000000002c1e8 000000000002c1e8 0002c1e8 2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
2 .dynsym 000a81e0 0000000000060240 0000000000060240 00060240 2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
3 .dynstr 002cd482 0000000000108420 0000000000108420 00108420 2**0
CONTENTS, ALLOC, LOAD, READONLY, DATA
4 .text 00cd40b6 00000000003d58b0 00000000003d58b0 003d58b0 2**4
CONTENTS, ALLOC, LOAD, READONLY, CODE
5 .eh_frame 00000000 00000000010a9968 00000000010a9968 010a9968 2**3
CONTENTS, ALLOC, LOAD, READONLY, DATA
6 .dynamic 000000c0 00000000012a9f40 00000000012a9f40 010a9f40 2**3
CONTENTS, ALLOC, LOAD, DATA
While I'm reasonably sure that my WASM file is corrupt in some way, I think Lucet should still raise an error or something instead of generating a malformed .so file.