5.3.1 Consider the implementation of a procedure P with a formal parameter FP of type T. (a) Assume that the copy-in-copy-out parameter mechanism is used. What exactly is passed to P, a value or an address? What happens when P is called? What happens inside P when it inspects FP ? What happens inside P when it updates FP ? What if anything happens when P returns