#include <stdio.h>
int main(int argc, const char *argv[])
{
int i;
i=3000000;
while(i--)
printf("%d\n", i);
return 0;
int main(int argc, const char *argv[])
{
int i;
i=3000000;
while(i--)
printf("%d\n", i);
return 0;
}
real 1m4.391s
user 0m0.884s
sys 0m5.856s