DVM_array_get_double  709 dvm/execute.c  	    double_value = DVM_array_get_double(dvm, array, index);
DVM_array_get_double   14 include/DVM_dev.h double DVM_array_get_double(DVM_VirtualMachine *dvm, DVM_Object *array,