Write explicit instantiation.

Make the print font-size 9pt.