\begfile{Dummy.tex --- Stolfi     May 22, 1984 9:24:03 pm PDT}

% dummy file to force bringover of SAIL font