bind_polling_period  487 src/keyboard.h extern void bind_polling_period (int);
bind_polling_period 4092 src/process.c        bind_polling_period (10);