The functions hello imports from the C library, read where they actually live — the reference glibc’s own bytes, disassembled, with the source lines its DWARF maps back. The run of a program, from libc’s side: start → work → exit.