function foo(): void {
    do { } while ($a);
}