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