\begfile{Dummy.tex --- Stolfi May 22, 1984 9:24:03 pm PDT}
% dummy file to force bringover of SAIL font