__attribute__((noinline)) int readSlot() {
    // Volatile preserves the invalid load for the runtime oracle at -O1 while
    // leaving the constant bound visible to Fold's source analysis.
    volatile int values[2] = {4, 8};
    return values[2];
}

int main() {
    volatile int result = readSlot();
    return result == 8 ? 0 : 1;
}