Lines Matching refs:efficient
4937 \setbox0 = \vbox{\unvbox255}% like \box255 but more efficient, see p.120.
