<?php

class test {

    static function __destruct() {
    }
}

echo "Done\n";
?>