; $ r13 = newarray android.telephony.smsmessage $ i1 concode_field_sep ASRExpr rExpr concode_elem_sep ASLSFieldRef lSFieldRef concode_elem_sep PrintWriter writer concode_elem_sep SMT2FileGenerator fileGenerator concode_field_sep String getAssertStr concode_elem_sep String specialCastExprStr concode_elem_sep void jet concode_elem_sep String specialLengthExprStr
String function ( NewArrayExpr arg0 ) { StringBuilder loc0 = new StringBuilder ( ) ; loc0 . append ( "srini_string" ) ; loc0 . append ( lSFieldRef . getSFieldRefName ( ) ) ; loc0 . append ( "srini_string" ) ; loc0 . append ( rExpr . getExprStr ( ) ) ; fileGenerator . getArraySizeMap ( ) . put ( lSFieldRef . getSFieldRefName ( ) , rExpr . getExprStr ( ) ) ; return loc0 . toString ( ) ; }