Symbol: assert_fdi_rx_disabled