public void METHOD_1 ( int VAR_1 , int length ) { this . VAR_1 = VAR_1 ; this . length = length ; } 

public void METHOD_1 ( int VAR_1 , int length ) { assert length >= 0 ; assert VAR_1 >= 0 ; this . VAR_1 = VAR_1 ; this . length = length ; } 
