Symbol: to_connmark