void get_some_primes()
{
    int i;
    while(i < 10000)
        i = i->next_prime();
}

void main()
{
    float time_wasted = gauge( get_some_primes() );
    write("Wasted %f CPU seconds calculating primes\n", time_wasted);
}