Files
wasm-instrument/cli/check