dvm_dispose_executable  856 dvm/execute.c      dvm_dispose_executable(dvm->executable);
dvm_dispose_executable   12 include/share.h void dvm_dispose_executable(DVM_Executable *exe);