void init_dock(int argc, char **argv);
void update_dock();