Symbol: EC_R_RANDOM_NUMBER_GENERATION_FAILED