function foo(int $a): void {
    rand(0, 1);
}