def substitute_prompt(prompt: str) -> str: ...