Symbol: holes_list_t