modify sml_random.h