void METHOD_1 ( int [ ] VAR_1 ) { int k ; VAR_2 = ( METHOD_2 ( VAR_1 ) ) - 1 ; for ( k = ( VAR_2 ) / INT_1 ; k >= 0 ; k -- ) { METHOD_3 ( VAR_1 , k ) ; } } 

void METHOD_1 ( int [ ] VAR_1 ) { int k ; VAR_2 = METHOD_2 ( VAR_1 ) ; for ( k = ( VAR_2 ) / INT_1 ; k >= 0 ; k -- ) { METHOD_3 ( VAR_1 , k ) ; } } 
