bind_polling_period  470 src/keyboard.h extern void bind_polling_period (int);
bind_polling_period 4086 src/process.c        bind_polling_period (10);