+ dump_crypt_random.pl