It seems that the `mux2` module should be foldable at line 1. <img width="1406" height="820" alt="Image" src="https://github.com/user-attachments/assets/d2611231-2872-4549-91dd-165862a50057" />
It seems that the
mux2module should be foldable at line 1.