Fix messaging test in 64 bits: use a mixed type.