program firstExample {
                    declarations
                    a -> Integer;
                    b -> Integer;
                    c -> Integer;
                    d -> Boolean;
                    
statements
                    a := 1;
                    b := 2;
                    c := 3;
                    if(c == 2) then  {
                                    write c;
                                     }
                               else  {
                                    skip;
                                     }
                    ;
                    if(c == 1) then  {
                                    write c;
                                     }
                               else  {
                                    read a;
                                    write b;
                                     }
                    ;
                     }