WasiCtxBuilder opens /dev/null read only here. /dev/null is then used as the default output and error stream for this context here. This seems problematic for callers who decide they don't want to inherit_stdio