Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
--- TypeIdMap: typeid1: TTRes: Kind: AllOnes SizeM1BitWidth: 7 WithGlobalValueDeadStripping: false CfiFunctionDefs: - f CfiFunctionDecls: ...