$x := $y + 5; ...code... $x := $z + 12 if cond1; ...code... $x := 6 + $p if cond2; ...code... print $x