Dear HAVM maintainers, Tiger specifications do not precisely define the expected behavior of an integer overflow. Currently, HAVM does not coerce its arithmetic computations to an Int32 type. To be consistent with nolimips, spim, and most current architectures, it would be nice that arithmetic operations in HAVM wrap around. The tentative attached patch fixes this. (I went for the less intrusive fix, a more radical solution would be to redefine all Int types in HAVM to Int32.) Regards, Pablo Oliveira