because we need to use %llu to print the timer count value, but nano printf doesn't known that format