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