$w \gets T_K(y)$; \\
\PARSE $w$ \AS $s, k\colon t$; \\
$r \gets t \xor H(s)$; \\
- \PARSE $s$ \AS $s' \cat k\colon c$; \\
+ \PARSE $s$ \AS $s', k\colon c$; \\
$x \gets s' \xor G(r)$; \\
\IF $c = H'(x \cat r)$ \THEN \RETURN $x$; \\
\ELSE \RETURN $\bot$;