public void METHOD_1 ( ) { TYPE_1 buf = new TYPE_1 ( INT_1 , 1 ) ; java.lang.System.out.println ( ( STRING_1 + buf ) ) ; assert ( buf . METHOD_2 ( ) ) == INT_1 ; } 

public void METHOD_1 ( ) { TYPE_1 buf = new TYPE_1 ( INT_1 , 1 ) ; java.lang.System.out.println ( ( STRING_1 + buf ) ) ; assert ( buf . METHOD_2 ( ) ) == INT_1 ; assert ( buf . size ( ) ) == 0 ; } 
