int main() {
    {
        int x = 1;
        //@ assert x == 1;
    }
    return 0;
}