<?php
     while( $x --> 0 ) // x goes to 0
     {
       printf("%d ", $x);
     }
?>