<?php
class Foo {
    public function __unserialize(string $name) {}
}
?>