Puoi usare anche clock(), che è standard ...