\Winx
\:\\{Goodbye}, 1.

\Windexspace
\:\\{Hello}, 1.

\Windexspace
\:\\{init}\WIN1{3}, 1, \[3].

\Windexspace
\:\\{main}\WIN1{1}, 1.

\Windexspace
\:\\{PRINT}\WIN2{1}, \[1].
\:\@{printf}, 1.

\Windexspace
\:\\{word}, 1.

\Wfin
