rock sand

noun

Definition of rock sand

: the detritus of eroded or abraded rock commonly used for cores in casting