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