Constant IPX_RECVHDR 

pub const IPX_RECVHDR: i32 = 16389i32;