// RUN: %clangxx -O0 -g %s -o %t && %run %t 2>&1 | FileCheck %s
#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>
int main(void) {
unsigned char key[] = {0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88, 0x99};
uint32_t hashes[3];
mi_vector_hash(key, __arraycount(key), 0, hashes);
for (size_t i = 0; i < __arraycount(hashes); i++)
printf("hashes[%zu]='%" PRIx32 "'\n", i, hashes[i]);
// CHECK: hashes[0]='{{.*}}'
// CHECK: hashes[1]='{{.*}}'
// CHECK: hashes[2]='{{.*}}'
return 0;
}