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

extern "C" void inner_loop_002(struct loop_002_data * input) {
  uint32_t * a = input->a;
  uint32_t * b = input->b;
  int n = input->n;

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