FIX: module RAND_R_MAX