fact: Definition format_string_with_term_char (term_char : Ascii.ascii) (xs : string) (ce : CacheFormat) : Comp (B * CacheFormat) := format_string (xs ++ (String term_char EmptyString)) ce.
imports: Fiat.Narcissus.Common.Specs Fiat.Narcissus.Formats.AsciiOpt Bedrock.Word Coq.Strings.Ascii Coq.Strings.String