libc for WebAssembly programs built on top of WASI
