Edit File: libcrc32c.h