Symbol: control_rx_s_edge_detection