/* #include "nvbit-sys/nvbit_release/core/utils/channel.hpp" */
/* #include "nvbit-sys/nvbit_release/core/utils/utils.h" */
using c_void = void;
class ManagedChannelDev : public Managed, public ChannelDev ;
std::unique_ptr<ManagedChannelDev> ;
std::unique_ptr<ChannelDev> ;
std::unique_ptr<ChannelHost> ;