Passing uint64_t as arguments corrupt the other arguments

```c
void foobar(uin32_t x, uin32_t y) {
}
```

`x` and `y` both have the right value.

```c
void foobar(uint64_t x, uin32_t y) {
}
```

`x` has the right value. `y` is corrupted.