[NSKIP013] 32-bit arg numbering garbled

# [NSKIP013] 32-bit arg numbering garbled

## Skip message
> `NSKIP013: 32-bit arg numbering garbled`

## Root cause
`TypeError` messages on Nanvix show garbled argument position numbers (e.g.,
`argument 1 must be str` appears with wrong numbers). Likely a `printf`
format string issue with 32-bit `%d` vs `%ld` mismatch.

## Finding the footprint
```
rg -n 'NSKIP013'
```

## Parent
Tracked in #371.
