equiv_make_equiv_mod_already_exists_fail.pat 42 Bytes