#include <hwy/targets.h>
#include <stdint.h>

extern "C" {

int64_t hwy_supported_targets() {
  return HWY_SUPPORTED_TARGETS;
}
}