Make random_var_name public, add specs for it.