The `VInt` module assumes that the `int` type is at most 32 bits. On 64-bit architectures this is not the case, and leads to runtime errors.