да, линковщик может взять любую реализацию, но меня смущает поведение программы. В данном бы случае, линковщик взял одну реализацию и каждый запуск проги давал бы один и тот же результат, но вот если мы скомпилируем другим компилятором, то результаты могут быть другими