Consider the following syntax-directed translation scheme (SDTS) where $S$ is the start symbol:
$$
\begin{aligned}
& S \rightarrow E\{\text { print }(\text { E.val })\} \\
& E \rightarrow E_1+T\left\{\text { E.val }=E_1 . \text { val } \times T . \text { val }\right\} \\
& E \rightarrow T\{\text { E.val }=T . \text { val }\} \\
& T \rightarrow T_1 * F\left\{T . \text { val }=T_1 . \text { val }+F . \text { val }\right\} \\
& T \rightarrow F\{T . \text { val }=F . \text { val }\} \\
& F \rightarrow \text { id }\{F . \text { val }=\text { id.lexval }\}
\end{aligned}
$$
What is the output printed by the SDTS for the input expression: $2+3 \star 5$ ?
- $17$
- $16$
- $40$
- $25$
