Change counter to uint64