\begingroup
    \catcode`\#=12
    \gdef\versiontag/{#6.3}%
    \gdef\versiondate/{Sun Jul 1 21:37:28 PDT 1990}%
\endgroup
\typeout{Version \versiontag/ of \versiondate/}