pub const SPAN_CODE: u32 = 0x11_0002;
span_code: the modifier of \span (LuaTeX numbering).
span_code
\span