product.c

uint23_t inner(size_t n, uint32_t *a, uint32_t *b) {
  // n:$16 a:$17 b:$18
  uint32_t r = 0; // $0
  while (n != 0) {
    n--;
    r += (*a)*(*b);
    a++;
    b++;
  }
}