print_buttons(WINDOW *dialog, int height, int width, int selected) 
static void print_buttons(WINDOW * dialog, int height, int width, int selected) 
print_buttons(WINDOW *dialog, int height, int width, int selected){    int x = width / 2 - 11;    int y = height - 2;    print_button (dialog, "  Ok  ", y, x, selected==0);    print_button (dialog, " Help ", y, x + 14, selected==1);    wmove(dialog, y, x+1+14*selected);    wrefresh(dialog);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b1c5f1c635f4a821f834ed51ccd8a2a1515fffd2/inputbox.c/buggy/scripts/lxdialog/inputbox.c