<?php

while {
}