C++ static arrays are initialized every time

The language would be very broken if this wasn't true, but I'm happier having some verification of this anyway:

#include <iostream>
using namespace std;

int main()
{
  for (int i = 0; i < 3; ++i) {
    int a[1] = {13};
    cout << a[0] << endl;
  }
  return 0;
}

$ g++ array_init_every_time.cpp
$ ./a.out
13
13
13