fact: Definition DummyArgument (s: string) := s.
imports: Bedrock.Platform.Facade.Facade Bedrock.Platform.Facade.DFacade Bedrock.Platform.Cito.StringMap Bedrock.Platform.Cito.SyntaxExpr Bedrock.Memory Coq.Strings.String