When compiling mem.c is complied with clang with --target=wasm32 and using the clang -> llc -> s2wasm -> wast2wasm toolchain the data section is the expected output in the mem.c.wast file.

printf("The value of array a[0] is %d\n", a[0]); printf("The value of array a[1] is %d\n", a[1]); printf("The value of array a[2] is %d\n", a[2]); float b[] = {363.3 ...