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