Declarations and Definitions:

procedure Example 
 ( X: in  Integer; Y: out Integer; Z: in out  Integer);
…

procedure Example 
 ( X: in  Integer; Y: out Integer; Z: in out  Integer) is 
begin
...
end Example;