void main(void) {
    int a;
    a = 3;
    output(a);
    {
        int a;
        a = 11;
        output(a);
    }
    output(a);
    return;
}