read-command
read-command is a built-in function in `C source code
'.
(read-command PROMPT &optional DEFAULT-VALUE)
Read the name of a command and return as a symbol.
Prompt with PROMPT. By default, return DEFAULT-VALUE or its first element
if it is a list.