Update mersenne.c