<?php

class Foo {
    public static function __set_state(int $properties) {}
}

?>