enum PrimeNumber :: byte{ local isPrime :: bool; local halfThePrime :: byte; 2: [isPrime = true]; 3: [isPrime = true]; 5: [isPrime = true]; 7: [isPrime = true]; 11: [isPrime = true]; 13: [isPrime = true]; 17: [isPrime = true]; [19..251]: [warning("Value too large to check"), halfThePrime = (value-1)/2]; else: [isPrime = false]; }