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

void add(uint32_t*, uint32_t*, uint32_t*, uint32_t len);

int main(int argc, char *argv [])
{
    size_t len = 10;
    uint32_t a[len];
    uint32_t b[len];
    uint32_t c[len];
    int i;

    for(i = 0; i < len; i++)
        a[i] = b[i] = i;

    add(a, b, c, len);

    for(i = 0; i < len; i++)
        printf("%lu\n", c[i]);

    return(0);
}