Symbol: to_usb_serial_port