DVM_array_set_int  737 dvm/execute.c  	    DVM_array_set_int(dvm, array, index, value);
DVM_array_set_int   19 include/DVM_dev.h DVM_array_set_int(DVM_VirtualMachine *dvm, DVM_Object *array, int index,