Doubt regarding __udivdi3