#include <linux/netfilter_ipv4.h>

##</code><code>##

getsockopt($server_socket, SOL_SOCKET, 80);  # 80 = SO_ORIGINAL_DST