<?php

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

echo "Done\n";
?>