cover_pop ::=