bidi_pop_embedding_level 2034 src/bidi.c     		new_level = bidi_pop_embedding_level (bidi_it);
bidi_pop_embedding_level 2165 src/bidi.c     	    bidi_pop_embedding_level (bidi_it);
bidi_pop_embedding_level 2167 src/bidi.c     	  new_level = bidi_pop_embedding_level (bidi_it);