debug crc32 for #13