<?php
$a = "ok\n";
$b = "ok\n";
@array_unique($GLOBALS);
echo $a;
echo $b;
echo "ok\n";
?>