Вывод: Russian_Russia.1251.
И даже когда пробую другую локаль подключить, все равно вывод такой же. Подозреваю, что неправильно указываю второй параметр.
Да, я нашел в исходниках php-src тут setlocale_basic1.phpt на github.
Там правда 3 файла setlocale_basic1.phpt, setlocale_basic2.phpt, setlocale_basic3.phpt, поэтому во всех нужно искать.
Прошу прощения за беспокойство )