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

extern "C" void inner_loop_128(struct loop_128_data * data) {
  uint32_t *a = data->a;
  uint32_t *b = data->b;
  uint32_t *c = data->c;
  int n = data->n;

  for (int i = 0; i < n; i++) {
    c[i] = a[i] + b[i];
  }
}