while ( COND ) BLOCK if ( COND ) BLOCK