1<?php
2
3if (!class_exists("constructs_in_destructor")) {
4    class constructs_in_destructor {
5        public function __destruct() {
6            $a = new constructs_in_destructor;
7            $time = '';
8            require(__FILE__);
9        }
10    }
11}
12
13$a = new constructs_in_destructor;
14