Rock dust—very fine dust resulting from rock crushing operations. Addition of a small quantity of rock dust will sometimes improve the pumpability of concrete.