\section[texinfo_for_lex]{Texinfo-only code for language \tr{lex}}

\begin{code}
# this keeps 'do'ing happy
1;
\end{code}