DVM_array_set_double  749 dvm/execute.c  	    DVM_array_set_double(dvm, array, index, value);
DVM_array_set_double   22 include/DVM_dev.h DVM_array_set_double(DVM_VirtualMachine *dvm, DVM_Object *array, int index,