\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> printdouble(a);
0x4031400000000000
> printsingle(a);
0x418a0000
\end{Verbatim}
\end{minipage}\end{center}
