/* Compatibility entrypoint for the selected 32-byte pair. Historical control: historical_base1143_check.c. */
#include "xxh3_64_pair_check.c"