public static void P(){ // Entry while(A){ X; if (B){ if(C) Y; else Z; // p } else{ V; W; } // q } // Exit: r }