Consider the following grammar.

$->"$a$"|"$b$"|"$c$"$

And the following operational semantics as a translation $($written in Psudocode$).$

translate$($A$)\{$

println$("$x$=0")$

translate$\_$A$($A$)$

$\}$

translate$\_$A$($A$)\{$

if A$.$child$[0]==$ a $\{$

println$("$x$=$x$+1")$

translate$\_$A$($A$.$child$[1])$

$\}$ else if A$.$child$[0]==$ b $\{$

println$("$print$\_$with$\_$newline$($x$)")$

$\}$ else if A$.$child$[0]==$ c $\{$

println$("$print$\_$with$\_$newline$(-$x$)")$

$\}$

$\}$

What is printed when running the program aaab?

$-2$

$-3$

$2$

$3$