procedure P() 1
{
    P()
    procedure P() 2
}