Constant __glibcxx_robust_nonmodifying_seq_ops 

pub const __glibcxx_robust_nonmodifying_seq_ops: u32 = 201304;