fact: Definition decode_string_with_term_char (term_char : Ascii.ascii) (b : B) (cd : CacheDecode) : option (string * B * CacheDecode).
imports: Fiat.Narcissus.Common.Specs Fiat.Narcissus.Formats.AsciiOpt Bedrock.Word Coq.Strings.Ascii Coq.Strings.String