public static void main ( java.lang.String [ ] args ) { <BUG> int [ ] a = new int [ ] {INT_1 , INT_2 , INT_3 , INT_4 , INT_5 , INT_6 , INT_7 , INT_8 };TYPE_1 . METHOD_1 ( a ) ;</BUG> }
public static void main ( java.lang.String [ ] args ) { } 
