В своем выражении printf вы указали спецификатор формата% s, что означает печать строки. Он проверит вершину стека и напечатает строку, находящуюся на вершине стека
Расположение стеков полностью зависит от компилятора
Функция __libc_start_main () должна выполнить любую необходимую инициализацию среды выполнения, вызвать функцию main с соответствующими аргументами и обработать возврат из main (), который был на вершине стека. И это то, что вы получили в качестве вывода