coded_pages != []