Probably better to use `proc.time()` here