<?php class AutoLoaded {} ?>