% Copyright 2012-2022, Alexander Shibakov
% This file is part of SPLinT
%
% SPLinT is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.
%
% SPLinT is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.
%
% You should have received a copy of the GNU General Public License
% along with SPLinT.  If not, see <http://www.gnu.org/licenses/>.

\begingroup
\footline{\hfill}\headline{\hfill}\vfill
\newread\versionstream
\immediate\openin\versionstream=VERSION
\read\versionstream to \version
\message{<\version>}%
\def\undot#1.#2.#3{#1\kern-.3pc.\kern-.3pc#2\kern-.3pc.\kern-.3pc#3\ignorespaces}
\chardef\amp=`\&
\titletrue

% a few more fonts: everybody has these.

\font\euror=cmr10
\font\eurow=cmr10
\font\eurob=cmbr10
\font\eurobtwelve=cmbr10 at 16pt
{\font\cminch=cmr10 at 1in
\font\cmhuge=cmr10 at 1in
\def\strut{\vrule height 17pt depth 7pt width 0pt}%
\noindent
\hbox to \hsize{%
    \valign{#\vfil\cr
        \halign{%
            \hfil\eurobtwelve\strut#\cr
                \noalign{\hrule height 5pt\vskip0pt plus1pt}%
            S\kern-.1pc\hfill P\hfill L\hfill I\hfill N\hfill T\cr
                \noalign{\hrule height .9pt\vskip0pt plus1pt}%
            reference\cr
                \noalign{\hrule height 5pt\vskip0pt plus1pt}%
        }\cr
            \noalign{\hfill}%
        \vbox{\hbox{\eurobtwelve v e r s i o n\ \cminch \expandafter\undot\version}}\cr
    }%
}%
%
\vfill
\newdimen\tempdimen
\def\hrfill#1{\leaders\hrule#1\hfill}
\hbox to \hsize{\cmhuge S\hfil\kern-3.9pc Y\hfil\kern-3.3pc M\hfil\kern-3.3pc B\hfil\kern-3.5pc O\hfil\kern-3.7pc L\hfil\kern-3.5pc S}
\vfill
\hrule height .3pc
\kern .2pc
\hbox to \hsize{\leaders\hrule height 15pt\hfill\raise5pt\llap{\hbox to
\hsize{\euror\colorwhite{$\;$Alex Shibakov\hfill\ifcase\month \or 
January \or February\or March\or April\or May\or June\or July\or August\or September\or 
October\or November \or December\fi\ \number\day, \number\year$\,$}}}}}\eject
\endgroup
\titletrue