procedure P()
    0
P()