Modification of a Crc32C implementation