# CONFIG_PRIME_NUMBERS is not set