/* Return the smallest prime >= 2^(idx+1)
 * Only works for idx<30 */
int get_prime (unsigned int idx);
void test_primes(void);