lamina of tectum of mesencephalon; lamina quadrigemina; lamina tectalis mesencephali; lamina tecti mesencephali; tectal lamina of mesencephalon