uint64 issue solve on lab4c machine