[[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>
