Add another test for #94

This test fails on 64 bits unless the PR #94 (i.e the
0e190eb0424f872997e49b28e73b38091dff4fed commit) is applied.