* commands.h (unread_command_char): Declare this to be a