pub unsafe extern "C" fn DefinstancesModule(
    arg1: *mut Definstances
) -> *const c_char