<?php

$a = array();
isset($a[]);

echo "Done\n";
?>