(x_display_list): New extern.