Rock dust. Increasing use of rockdust as preventive of explosions at bituminous coalmines.