void keydown() { if(buffer_current