Symbol: dummy_external_sequence_producer