Did you know that there are different types of lava?
One type of lava is called
ʻAʻā, pronounced like
ah ah.
ʻAʻā means rough, stoney lava.
The lava looks rough, and has blocks in it that are called
clinkers.

(from: wikipedia -
lava)
Kid Facts - Blast from the past: Muffler