var $input = "foobar"
var $flags=ENT_QUOTES
var $double_encode=0
var $output = call htmlspecialchars $val=$input;$flags=$flags ;$double_encode=$double_encode
print input = $input
print output = $output
var $output=call htmlspecialchars $val=$output
print actual output = $output