function foo(): void {
    /* HHAST_FIXME[UnusedVariable] */ rand(0, 1);
    $b = 0;
    echo $b;
}
