cs50x short randseed