bidi_push_embedding_level 2009 src/bidi.c     	      bidi_push_embedding_level (bidi_it, new_level,
bidi_push_embedding_level 2022 src/bidi.c     	      bidi_push_embedding_level (bidi_it, new_level,
bidi_push_embedding_level 2082 src/bidi.c     	  bidi_push_embedding_level (bidi_it, new_level, override, false);
bidi_push_embedding_level 2107 src/bidi.c     	  bidi_push_embedding_level (bidi_it, new_level, override, false);