Triviality in data_available()