How we found that the Linux nios2 memset implementation had a bug (free-electrons.com)