MODULE random_ic_mod END MODULE random_ic_mod