Constant uu_nl::options::BODY_NUMBERING

pub const BODY_NUMBERING: &str = "body-numbering";