/*
 * array-addresses.c
 */

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

int main(int argc, char *argv[])
{
    int i;
    uint32_t a[10];

    for(i=0; i<10; i++) {
        printf("a[%d] is stored at %p\n", i, &(a[i]));
    }
}