{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"NonZero::new(pos).unwrap(),"}]}
            NonZero::new(pos).unwrap(),
        LazyTable::from_position_and_encoded_size(
            width,