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