Why getsockopt with SO_SNDBUF for a TCP socket gives a 1/13 of the value at /proc/sys/net/core/wmem_default? While doing some exercises about sockets, I wrote the code below.