~~~
:bye ;
~~~