Средства и методы разработки

Да, пример оказался нерабочий. Заработало после того, как добавил const char __stdin_name[] = ""; const char __stdout_name[] = ""; const char __stderr_name[] = "";