#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

int32_t sumAll(int32_t a[], int32_t size);

int main(int argc, char** argv) {
  int32_t numbers[] = {9, 8, 1, 9, 5};
  int32_t sum = sumAll(numbers, 5);
  printf("sum is: %d\n", sum);
  return EXIT_SUCCESS;
}

int32_t sumAll(int32_t a[], int32_t size) {
  int32_t i, sum = 0;
  for ( i = 0; i < size; i++ ) {
    sum += a[i];
  }
  return sum;
}