Time the insertion of 1048576 numbers in an empty list, result on standard error.
date f, s;
list l;
integer i;
# get current time
d_now(s);
i = 0;
while (i < (1 << 20)) {
# insert _i_ in a random position (0 .. i)
l_p_integer(l, drand(i), i);
i += 1;
}
# get current time
d_now(f);
if (1) {
file e;
time t;
# compute the difference
t_ddiff(t, f, s);
f_open(e, "/dev/stderr", OPEN_WRITEONLY, 0);
f_integer(e, t_second(t));
f_byte(e, '.');
f_bfxinteger(e, 0, 2, 10, t_microsecond(t) / 10000);
f_byte(e, 10);
f_close(e);
}