function foo(): void {
    $a = vec[];
    $a[] = rand(0, 1);
}