Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
void f() { do ; while (true); do { } while (false); }