instr$target:::benchmark_begin {

time = timestamp;
tag = copyinstr(arg0);
tag_times[tag] = time;

}

instr$target:::benchmark_end / tag_times != 0 / {

tag = copyinstr(arg0);
time = (timestamp - tag_times[tag]);
printf("%s:%d\n", tag, time);

}