A context line
Prompt: Here is what I just typed[]