empty_prompt: string = ...