<?php

class AutoLoaded {}

?>