How does ping roughly work over IPv4 on Linux? | Hacker News Reader