inputs and outputs to each
procedure are summarized
