procedure P()
    0