framework: use math.MaxUint64