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);