Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
void foo(int *ptr) { *ptr = 1; // expected-warning{{Dereference of null pointer (loaded from variable 'ptr')}} }