// File: kernel.cpp
#include "loop_004.h"
#include <stdint.h>

extern "C" void inner_loop_004(struct loop_004_data * data) {
  uint64_t *a = data->a;
  uint64_t *b = data->b;
  int n = data->n;

  uint64_t res = 0;
  for (int i = 0; i < n; i++) {
    res += a[i] * b[i];
  }
  data->res = res;
}