[sr-dev] git:master:c464add1: xprint: cast to uint64_t when using time_t value