Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
/* For use with the functions.c test */ int f0(int x, int y, ...); float *f1(float x, float y); void g0(int *); void do_abort(int) __attribute__((noreturn));