http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #16 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-27 13:54:44 UTC --- Uhm, in the case of generate, however, "each operation is to be carried out modulo 2^32", thus I guess it's safe to not use __mod at all for the multiplication.
