Cinder pocket

A pocket made in rolled steel by rolling cinders into the metal. These may either remain or drop out of the rolled product, leaving holes or pockets.