石洞。北魏郦道元《水经注·汶水》：“古者帝王升封，咸憩此水，水上往往有石窍存焉，盖古设舍所跨处也。”《英烈传》第七五回：“戴寿因看山势，南有赤甲山，北有羊角山，彼此相望，便把两山分开石窍，用铁索子万条相连，横截关口。”