display_next_device
display_get_values, display_put_values, display_next_device },
char * display_next_device(int);