Editing: HaltCompiler.php