Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
__inline__ __attribute__ ((always_inline)) int f(void) { return 2; }