portable way to fill a byte array with random data . does randomdata #generatedata generatedata on the card if javacard_applet is defined and java.util.random #nextbytes nextbytes onthe host if javacard_applet is undefined . concode_field_sep PlaceHolder placeHolder concode_field_sep void myassert concode_elem_sep Message_digest_wrapper get_message_digest concode_elem_sep byte[] allocate_transient_byte_array concode_elem_sep void begin_transaction concode_elem_sep short length_of_serializable_array concode_elem_sep void array_copy concode_elem_sep Random get_new_rand concode_elem_sep void commit_transaction concode_elem_sep void rand_data_int
void function ( Random arg0 , byte [ ] arg1 , short arg2 , short arg3 ) { byte [ ] loc0 = new byte [ arg3 ] ; arg0 . nextBytes ( loc0 ) ; array_copy ( loc0 , ( short ) 0 , arg1 , arg2 , arg3 ) ; }