Эти переменные называются «символами», и во время составления таблицы генерируется «таблица символов». Эта таблица содержит имя, тип, область и указатель памяти на каждый символ (это как минимум, у вас обычно есть куча других вещей), и каждый раз, когда делается ссылка на символ в определенной области, он заменяется указатель в таблицу. Эти индексы уникальны, как и комбинация имя + область действия.
Короче говоря, имена переменных являются просто декорациями, внутри компилятор работает с таблицей символов и индексами в ней. Статика инициализируется во время запуска программы путем итерации по таблице указателей на них и установки правильных значений.