10 DEFFNS="WitzR"
   20 *RUN Witz