#include <sys/types.h>
typedef u_int32_t __u32;
#include <linux/ppp_defs.h>