<?php

$i = 0;
loop:
if($i > 10 || 0 * printf("%d\n", $i++)) ; else goto loop;
printf("end\n");
return 0;