<?php $x = new stdClass; var_dump($x instanceof Closure512);
You have javascript disabled. You will not be able to edit any code.