Use an uppercase char to indicate a default choice. There must be at most only one default for a given prompt, or the prompting function will raise Invalid_argument.

Mark this choice as the default one.