use a uint64 here already