let symb_failed_txt e s1 s2 = symb_failed e 0 s1 s2