cleaning up and tuning randmt32