__attribute__((noinline)) int readSlot() {
    int values[2] = {4, 8};
    return values[1];
}

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