Wasm: Any function argument of type Void should be a validation error