pub const GNRC_IPV6_NIB_NC_INFO_AR_STATE_REGISTERED: u32 = 1024;