ajout include stdint
change type uint64 to long long