Test latex:

bool $x$ = read(); bool $y$ = read(); if ($x$ and $y$) $z$ = 17; else $z$ = 8; if ($x$) $z$ = 2 * $z$; else $z$ = 0;

End