there are no uint64 return values