program firstExample {
                    declarations
                    a -> Integer;
                    b -> Integer;
                    c -> Boolean;
                    
statements
                    a := 1;
                    b := 2;
                    write "Hello world!";
                     }