: flush-keys begin key? while key drop repeat ;