Это работает:
В коде C вы можете иметь следующую строку для записи требуемого вывода:
system("example.exe > \"output.txt\"");