printf
timing info