Update reverse32bits.c