[[user input::task| ]]
{{omit from|ACL2}}
{{omit from|GUISS}}
{{omit from|PARI/GP}}

Flush the &nbsp; [[input device::keyboard]] &nbsp; buffer.

This reads characters from the keyboard input and
discards them until there are no more currently buffered, &nbsp;
and then allows the program to continue.

''The program must not wait for users to type anything.''
<br><br>
