•Procedures
have form:
•procedure
<name> ({<params>}) {:Type};
•<statement>;
•Parameters are listed with their type separated by
commas:
•procedure
F(A, B : [R] byte, x : float): float;
•Values
are returned with return
… ;
•Parameters
are “called by value” as the default, but by prefixing with var they can be called by
reference
•procedure G(var A : [R]
integer, big : integer);