#include <stdint.h>

uint32_t crc32c_pcl(uint8_t *buf, int32_t len, uint32_t prev_crc);