test standalone Sum64 and fix seed for it as well