int a;

() f() {
    
    a b;    // ERROR: "a" is not a type
    
    typedef a = int;
    
    {
        c + c;      // ERROR: not declared yet
        var a c = 0;
        while c < 10 { c += 1; }
        
        var a c = 3;    // ERROR: duplicate identifier
        while c < 10 { c += 1; }
    }
    
}