#include <icmp.h>
This is the standard ICMP header only that the u32_t data is split to two u16_t like ICMP echo needs it.