Help for this page
#include <linux/netfilter_ipv4.h>
getsockopt($server_socket, SOL_SOCKET, 80); # 80 = SO_ORIGINAL_DST