export ComputeSums(), ComputePieceSum()
makelib: step2 - add verify()