Fix #29: at_timer() — Simpler function for benchmark functions.