<?php
while (0) {
    L1: echo "bug\n";
}
goto L1;
?>