4 ms·

> There's no such thing Not in general, but here it could be called: setFontSize (dvi_pixel_t size);