The WASI group is moving to WIT as the specification format. This specification should be ported to WIT from WITX.