DVM_array_get_int  695 dvm/execute.c  	    int_value = DVM_array_get_int(dvm, array, index);
DVM_array_get_int   13 include/DVM_dev.h int DVM_array_get_int(DVM_VirtualMachine *dvm, DVM_Object *array, int index);