Parameters may be promoted by passing in a sequential actual where a parallel formal is expected. This is analogous to the above case where a sequential was promoted in an assignment statement. It is an error to promote a sequential parameter that is modified in the body of the procedure and is passed by reference.