"havnestein" er et 10-bokstavers substantiv som brukes som synonym for "Havstein". Havstein betyr: Stein brukt som havneanlegg.