Symbol: initio_bad_seq