vtimestamp_t is just a uint64. Make that more obvious