\$ \user{if3 Done}\\
Goodbye.\\
\$ \user{./If3 Hello}\\
\$
