void function ( final DataOutputStream arg0 , final int [ ] arg1 ) { arg0 . writeInt ( arg1 . length ) ; for ( int loc0 = 0 ; loc0 < arg1 . length ; ++ loc0 ) { arg0 . writeInt ( arg1 [ loc0 ] ) ; } }
serialize an array of integers concode_field_sep PlaceHolder placeHolder concode_field_sep void setMarker concode_elem_sep void verifyMarker concode_elem_sep void deserialize concode_elem_sep void deserialize concode_elem_sep void deserialize concode_elem_sep void deserialize concode_elem_sep void deserialize concode_elem_sep void deserialize concode_elem_sep void deserialize