my $random_prime = [17, 23]->[int rand 2];