include Channel_id_t
include Impl.Channel(Channel_id_t)