\begingroup
    \catcode`\#=12
    \gdef\versiontag/{#2.10}%
    \gdef\versiondate/{Wed May 21 21:06:09 PDT 1986}%
\endgroup
\typeout{Version \versiontag/ of \versiondate/}
