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

int main() {
  uint32_t vec[] = {123, 124, 125};
  uint32_t *ptr = vec;
  for(auto it: ptr)
    fprintf(stdout, "%u\n", it);
  return 0;
}