Symbol: input_seq_stop