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

void copyArray(int32_t src[], int32_t dst[], int32_t size);

int main(int argc, char **argv) {
  int32_t numbers[5] = {1, 3, 4, 7, 4};
  int32_t numcopy[5];
  int32_t i;

  copyArray(numbers, numcopy, 5);
  for (i = 0; i < 5; i++) {
    printf("numbers [%d]: %d;  numcopy[%d]: %d\n",
           i, numbers[i], i, numcopy[i]);
  }
  return EXIT_SUCCESS;
}

void copyArray(int32_t src[], int32_t dst[], int32_t size) {
  int32_t i;

  for (i = 0; i < size; i++) {
    dst[i] = src[i];
  }
}