<?php

class stdclass {
}

echo "Done\n";
?>