Constant OPTION_DOMAIN_NAME_SERVERS 

pub const OPTION_DOMAIN_NAME_SERVERS: u32 = 6u32;