program firstExample {
                    declarations
                    a -> Integer;
                    b -> Integer;
                    c -> Integer;
                    d -> Boolean;
                    subProgram innerFunction(e -> Integer) -> Integer {
                                                                     declarations
                                                                     x -> Boolean;
                                                                     
statements
                                                                     skip;
                                                                     return e;
                                                                      };
                    
statements
                    a := 4;
                    b := innerFunction(a);
                    write b;
                     }