<?php
__COMPILER_HALT_OFFSET__;
; // <- important
?>