misc: No need to use uint64