\documentstyle [12pt]{article}

\input{defs}

\begin{document}

\input{fig_w3wave}

\end{document}
