On Sunday, 24 October 2021 at 14:21:52 UTC, Basile B. wrote:
The following code, on linux [...] What do you think ?
Forgot to say that this change
```diff
- execv("a", null);
+ execv("a", ["whatever".ptr].ptr);
```
makes the problem goes away, so it would be caused by how `null`
args are handled, presumably.
