<?php
function foo()
{
    $mode = 0;
    $working = 0;
    while ($mode == 0) {
        $working = $mode = 1;
    }
}
echo "ok\n";
?>