procedure P(a)
    a