User could set random seed manually