Symbol: to_xilinx_chan