Yes enter the federal withholding into box 4. Did you have a 1099R for 2023 from the 403b? You can copy the info in that one changing the amounts of course. You can leave both those boxes unchecked.
