pub unsafe extern "C" fn DefinstancesModuleName(
    arg1: *mut Environment,
    arg2: *mut Definstances
) -> *const c_char