Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

F.cpp
void f() {
  while (false)
    ;
  while (false) {
  }
  while (bool ini = true)
    ;
}